GNOME Shell extensions, MIME types, override default applications…