Um, I didn't say that. The person who wrote "I think he left..." was
replying to an article in which I pointed to Professor Hart's message.
I hate to be pedantic, but I'm trying to talk PG into running an http
server (and/or taking over my index page), and I'd hate to have Dr. Hart
pissed off over something I didn't say.
Frederick.