@vincent aha, thanks, I didn't even know dark mode was an OS preference! Although having it as an "always on" option would be useful in any case.