A comment on an ancient post on my old blog reminded me of its existence. I’ve now imported the material from there to my own domain and so historic posts from way-back-when can be read here. The old site will stay online for the time being, to avoid breaking possible links.