Server coming down in 13 mins?

[Stretchious]

[COMPLETE] *VERY* brief downtime in 10 mins

Hello folks - we’re going to have some very, very brief downtime at approx 1030 (about 10 mins from now). Just a small hotfix, we’ll let you know when we’re back up and running. Hopefully this will be a blink-and-you’ll-miss-it one.