[19:55] <lexruee> FYI, some ubuntu 17.10 users seem to be frustrated with the gnome experience, see: https://extensions.gnome.org/extension/6/applications-menu/
[20:05] <jbicha> lexruee: yes, Ubuntu 18.04 should consider installing gir1.2-gmenu-3.0 by default. Even though it's not strictly required itself, it's useful for some popular extensions
[20:19] <lexruee> jbicha: thanks for the reply. i know you guys have a difficult job :-/