Putting the eye-disable button into the theme toggle isn't a bad idea. I used the most common icon I could find for the idea of 'disabling' and made it prominen

Putting the eye-disable button into the theme toggle isn't a bad idea. I used the most common icon I could find for the idea of 'disabling' and made it prominent in each popup, but people still don't seem to realize it's there. Maybe it needs even more prominent billing. The indent vs newline thing is something that Said & I have long argued about. I like it somewhat more than newlines, but I feel that newlines is just too much of a convention online at this point, and even if indenting is correct, it alienates readers. (We haven't debated newline-on-mobile / indent-on-desktop before - he's not a fan of that either, turns out - although IMO the case for newline on mobile is stronger than on desktop.) We may have to do an A/B test at some point to see if there's a measurable effect.