[curt15]

It certainly makes better use of space than the thick header bars that gnome ships with by default. At least one Gnome developer seems to think so too https://blogs.gnome.org/mcatanzaro/2015/10/17/time-to-use-he...