Hide the launcher for software-properties-gtk
Originally created by @sajolida on #15540 (Redmine)
It's a dependency of GNOME Software but it's broken (#12372 (closed)); nonetheless, GNOME Software works fine anyway, and fixing software-properties-gtk
is more difficult, so let's hide its launcher.
Parent task: #15262