the default is hard-coded as auto
at the moment, changing the default is also a bit tricky due to how the auto
-Theme needs to be handled. However, we discussed setting a default theme as a configuration option before, so you may want to open a feature request over at our Bugzilla [1].