Hey, it is probably worth pointing out that this has been on the 3.10 feature list[0].
Florian [0] https://wiki.gnome.org/ThreePointNine/Features/AppPicker _______________________________________________ release-team@gnome.org https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.