I moved this site to a new server, and if you’re reading this that means you’re on the new server (some ISPs take a while to update the DNS entries). Regular visitors might have noticed some occasional downtime with the old server, but that should no longer be the case. If you notice any issues on the new server, I’d appreciate a comment here or an e-mail! đŸ™‚