Proposal: Set default theme to dark mode This is a very minor thing, but I just wanted to ask if anyone else thinks that dark mode should be the default theme....