Site downtime 20:00 UTC

We’re moving the community hub to a different machine, with a better supported configuration.

The downtime starts around October 23rd 2017 at 20:00 UTC

This shouldn’t take long (last words are famous words), so you may not even notice. But if it does take a while, you’ll at least know why the downtime has happened, assuming you saw this notice. :slight_smile: