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 126.96.36.199, the new one is 188.8.131.52.)
Update: If you can see this text, you’re getting the new site!
Your subscriptions keep this site going. Sign up today!