Err, sorry.

It appears comment posting isn’t working (presumably since the oh-so-wonderful hosting provider moved my site to a new database server & web server).

I’ll have to go fix. But not right now.