Sorry if this is the wrong place to post this, or if it’s been addressed, but I can’t find a way to change this website’s theme to a dark mode. My old programmer eyes aren’t accustomed to bright light!
Perhaps you could use the “dark reader” browser plugin?
Hmm… I generally don’t install extensions, especially those that “Access your data for all websites” (even if they’re open source - there are still risks)… but I guess I’ll to make an exception for it here for now. Thanks for the suggestion…