This is clearly a dying topic, but Mozilla guys, be aware that there are already community patches available on Github, there's an AUR package, and there's a generally successful Open Build Service project that all promise to bring the global menu to...
