We’re under a nasty comment spam attack. Akismet deals with a lot of it, but it is getting seriously irritable. I am switching comments off for a few days. I do apologize, but better to be drastic than letting this linger on. Thanks for your patience.

Added: Comments are on again. It’s not solved yet, but maybe most of the problem is gone now.