Got a bit of bad news – Disqus has altered how comments work, which is including ads. This required me to tweak assorted settings to get it to work right, and it may be creating other problems including formatting in mobile, load, and reference/search. So I’ve had to take them down temporarily while I sort this out. I think they’ll be down one to two weeks while I test solutions and check results – things are pretty busy right now.
Sorry for the inconvenience!