I just realized that the comment function on this blog is broken and has been since 10 July. Some of the attempts to leave comments have wound up emailed to my bulk mail folder, but they didn't post on the blog, and when I tested it out myself just now that's what happened as well.
Sorry about that. No idea why it happened or what, if anything, is to be done about it. Email me if you've got something to say.
added: I just switched the comments off completely, since they are non-functional.Posted by Dr. Frank at July 24, 2012 04:35 PM