I’ll be migrating this blog to a new server soon. Hopefully you won’t notice anything, but if you come by and notice that some recent posts are missing or that things are otherwise not working quite as usual, then don’t panic, I’ll have it back to normal soon.