Well, the answer to that tweet was, eventually, “no”, but we’ve reached the end of the contract on the servers anyway, and as ticket sales volumes remain minimal, I’ve downsized them to save money.
I would expect performance to be about the same as normal, or slightly degraded. If you start seeing timeouts let me know.
I can and will increase the size of the servers again once volumes are back up to normal.