Bots are hammering the site right now, making it use up too many resources and
making things unavailable. I'm about to leave on a trip and don't have time at
the moment to fix things properly, so right now everything's turned off except
for this message.

I'll try to get something better in place by next weekend (October 12th, 2025).
Maybe I can turn things on before then; we'll see.