•••

I removed the light/dark theme switch from this site. The themes are still there and the system setting is respected but no more manual switching. You’re welcome to switch the themes by means of your browser (and to dump your browser if such means are lacking).

Visitors with proper browsers never needed that button anyway, it only got in the way. And now this site doesn’t use cookies at all, ever, which is a good thing.