flathub/org.gnome.Devhelp not found