I’m going to be migrating my comment system to Disqus. You might notice
missing comments or other such weirdness. Do not be alarmed.
I’ll try to do this at a time I expect the lowest amount of traffic.
Hope you’re having a great holidays!