gtkhtml3, gsettings-desktop-schemas3: not needed for now