I agree. I also see no point in making a different theme the default one, because you can easily change it to another. And also because most people would be upd

I agree. I also see no point in making a different theme the default one, because you can easily change it to another. And also because most people would be updating their distros and would not notice any changes.