You are probably here because my old web site automatically redirected you here. My old site will vanish in a few weeks, and I don’t know how long it will take Google, Yahoo, Bing and other search engines to find me again, so please update your bookmarks. Everything other than the domain name is about the same, so proceed as usual, and please let me know if you find something broke.