The previous incarnation of this website had a dark theme option, but when I did the redesign a year or so ago I did not get around to implementing it. I’m of course aware that a dark option is an important accessibility feature for many people, especially as I’m using dark …