I think that version is super old. I guess a PR for that code will not merge cleanly on the current version. Dark mode has been asked many times, like https://

I think that version is super old. I guess a PR for that code will not merge cleanly on the current version. Dark mode has been asked many times, like https://news.ycombinator.com/item?id=25697173 https://news.ycombinator.com/item?id=25697173 , don't expect it soon...