A short program note for everyone: registration is now required for leaving comments. OpenID is available in addition to Blogger. Fortunately, all of our regulars are registered, so this shouldn't mean changes for anyone.
This is my latest salvo in the battle against spam-bots, and hopefully it will keep them out. They really are annoying...like termites who are travelling salesmen.