Minor Housekeeping Note Re: AMP
Which is: I’ve turned it off because the AMP theme I was using wasn’t playing nice with desktop views, and I don’t really want to switch over to a new AMP theme because the primary theme I use works fine with phones/tablets and there is no longer any Google penalty for not using AMP. So, out the window it goes.
If you’re reading this site on your mobile device you might notice it looking different (and more like the desktop version); if you’re reading exclusively on the desktop (or getting RSS or email delivery) you probably won’t notice anything different at all. And of course if you have no idea what AMP is in the first place then you don’t need to worry about it, please continue in your blessed state.