I mostly agree. But that's only true for the very small subset of GNOME's own applications for which the little set of actions provided by the hamburger menu is

I mostly agree. But that's only true for the very small subset of GNOME's own applications for which the little set of actions provided by the hamburger menu is enough. I doubt they ever had the strength to push for a osx-style global menubar (or this hamburger menu thing) for the whole desktop. Too much fragmentation, too many toolkits, too many partners pushing their own user experience.