A note on recent changes.

We have moved the site’s commenting onto Disqus.

You will no longer log into the site to comment. Instead, you will log into your Disqus account to comment.

All existing comments are being loaded into Disqus currently. They should all be restored by the morning. There are a lot of them, which is presenting some challenges.

Disqus offers you, as a user, may new options for controlling your notifications, keeping track of past discussions in which you have participated, and so on.