we already collectively dislike a substantial number of 0.18+'s UI decisions, most of which are minor but are already adding up to be that much more annoying collectively. maybe we can sand some of these off with theming in the future. for now though please hang with this and petition them to merge better decisions in the future, thanks
It’s interesting in its technical aspects.