Documentation site is down, Siteground changed IP address

The documentation site must be hosted on Siteground. Recently, Siteground moved their servers into Google Cloud and had to update all IP addresses. That hasn't been done on the documentation site, so it's down.

DNS needs to be updated with the new IP address, it's about a three minute task.