Whilst we don’t anticipate downtime in general, we are not immune to it. Last night we had degraded DNS performance with our provider, which meant things were patchy. Our server was up and running though.
It’s all looking good now.
We also now have a status page here, if you ever want to check.