Metapost: Server a-movin’!
Hey folks! Just FYI, I’m moving this here website to a shiny new server today, with the process beginning around 5:30 pm Pacific Time and lasting several hours. There may be some downtime, and there also may be some comments that get lost during the transition, so don’t panic or fret if you encounter either of those scenarios this evening. I’ll post an update to this when the job is done.
UPDATE: If you’re seeing this, you’re on the new server. Hooray! Go about your business, safe in the knowledge that you have reached the promised land, server-wise.