Update July 12th : I have turned on comment moderation, so that no comment appears unless approved. The signal to noise ratio was getting ridiculously low. Sorry, spammers! Starting a couple days ago, this somewhat derelict blog was inundated with spam comments. We do have a captcha anti-spam plugin in place; you need to enter the displayed [...]