Sorry, I completely retract any statements I made lauding the intelligence of people loudly complaining about the default theme change. They are definitely _not

Sorry, I completely retract any statements I made lauding the intelligence of people loudly complaining about the default theme change. They are definitely _not_ smart enough to change the theme (note confusion in comments surrounding this issue). It's Gnome, people.