Default to the dark theme for consistency with the previous version of the published extension (was 12ff252751870bea861944f369a9ecf462c641d3).