Joey enabled the "lightdark" theme for this site a while ago, but it was prevented from working due to a technicality unique to this site, which has now been addresed. So: dark mode is now available! The site should follow your browser's preferences. — Jon, 2026-03-16