This is just a quick notice to let you know that I’ve recently moved this site to a new host (currently pulseheberg [1]), and may move it to other hosts. My previous hosting was running out, and I’m taking this as an opportunity to experiment with various VPS offerings (Linux or Windows), change registrar, tweak DNS, etc.
Hopefully nothing will go wrong and it’ll be transparent, but if not, please let me know.