IP Move

This blog has just changed its IP address (and theme, as I was at it), though the change may still be propagating in DNS. If you are reading this, you are at the new address; please tell me if you find anything broken.