
Later in the day, the problem became more severe. Eventually I couldn't log in at all. And apparently no one else could!
So in the evening I rebooted the server. My apologies for the inconvenience! I'm investigating the issue to see what caused it. Since I didn't actually fix this bug yet, I expect it may recur. But hopefully I can figure it out and fix it before it does.
Thanks to everyone who reported this happening!