I finally got sick of how much damage Blogger was doing to my posts with the excess of <br> tags it randomly felt like inserting, so I’ve turned it off. Unfortunately this appears to republish all existing posts. Sigh. So the formatting of old posts is going to look like crap. I’ll fix recent ones, and incrementally go around fixing older ones, but most of them will remain like that.