Migrate panel launchers to the Favorite apps list in GNOME Shell
Originally created by @intrigeri on #7992 (Redmine)
Even in Classic mode, we can’t easily have launchers in the thing that
replaces the GNOME panel anymore, so let’s use Applications ->
Favorites instead. That’s favorite-apps=
in org/gnome/shell
dconf
schema.