This site will be moving from a ridiculously overspecified and almost unused 32 gigabyte hosted server at Hetzner to a cheap VM on the Hetzner cloud, some time today or tomorrow. Please excuse glitches in availability!
TO DO: move sites, repoint DNS, wait for DNS to propagate — probably on the order of hours.
(If you want to know “are we live yet”: the old server is 18.104.22.168, the new one is 22.214.171.124.)
Update: If you can see this text, you’re getting the new site!
Your subscriptions keep this site going. Sign up today!