gnome-extra-apps fix category of gnome-online-miners