This issue has been resolved, Bot-Host #17 is reachable again. Please note that hosted bots were not affected.
This incident was caused by a misconfiguration of DNS records, made in error when setting up infrastructure for another Bot-Host. We apologize for the inconvenience caused.
As no bots were offline, this incident is ineligible for our voluntary refund policy.