[Update: 21/06/2023 08:30 BST] The maintenance work has completed and the XMPP server is available again

The XMPP server is currently down for some unexpected maintenance. I do not expect it will currently be up until tomorrow while I attempt to tame a rather runaway database.