[snip a good point in favor of splitting] > I suspect that it's too late to split up gnome-python, but maybe it's not > too late to split up gnome-python-extras, which doesn't offer any API > stability guarantees anyway. Right, that would help with getting a separate gtkhtml2 which is used by gnome-app-install. Jani