Untitled

I’ve just removed Disqus comments, since nobody uses them. The one time someone actually did was to correct me, and I’ve already edited that into the post itself.