New comments policy

From now on any anonymous comment will be deleted. I left the one on earlier because it is an interesting contribution to the conversation, but I don't like people who won't in some way make themselves known. I don't really like pseudonyms, either, but for now the policy only applies to "anonymous" posts.