New and improved `default2.theme`