Naming rights

Just a quick bit of housekeeping: following the site's recent infestation of anonymous trolls, Paul and I have decided that from now on all anonymous comments will be deleted. This isn't an attempt to remove all dissenting voices from the comments boxes - dissent is fine, and indeed essential to making this site a decent forum for debate - and you don't have to have a Google password, just to include your name in your comment. If we have guts to stick by our words, then commenters should too.