New server, same notes

This site now lives on a different machine. The old one did its job for a long time; the new one is closer to where I spend most of my time and costs about the same.

What I checked after the move, mostly for my own reference next time:

• the TLS certificate is issued for the new host — it is a fresh one, so its date looks new;
• every page kept its address, so old links still work;
• the RSS feed still validates;
• a missing page returns a real 404, not the front page with a 200.

The pages are plain static files, so the move itself was a copy and a DNS change. The DNS change took longer.