Ich würde auch vorschlagen, dass wir erstmal eine Weile abwarten und dann sehen, was sich entwickelt.
Und User-CSS sind ja eine gute Alternative, wenn man die
DP an seine Wünsche anpassen möchte, dazu muss nicht einmal ein neues Theme installiert werden.