Comments are working again.
It’s all a bit mysterious to me, since I don’t know what went wrong or what fixed it. I’ll update this post if I ever get a clue. But in the meanwhile, it’s good that comments are working.
UPDATE: It turns out that the server was overloaded – they restarted Apache and cleaned the MySQL tables and that did the trick. I’ll try to prevent this happening in the future.