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.