[19:55] 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] 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] jbicha: thanks for the reply. i know you guys have a difficult job :-/