Yeah, i reset everyone to the old theme, but made the other 2 available to them. Although i think their could be 4, one of which is an unmodded version of the original. I think.
Sweet, I love the style of the tef theme, but if I'm honest I like the simplicity of the default one. It helps that it makes everything smaller.