hello Antoine, thank you for the report. I cannot reproduce this on stretch with GNOME3: It shows up in the list of applications (super key), and in both "menu editors". Can you provide your desktop environment (GNOME3?) and a screenshot that shows the problem?
I will ask x...@lists.freedesktop.org. Cheers and Best Regards, -- Felix Natter debian/rules!
