After not having written anything here for some time I break my silence merely to mention that I’m migrating to a new server right now. In the unlikely event that this causes a problem (i.e. bounced email) you now know why.

I shall endeavour to write something somewhat more interesting in the less than completely distant future.