obsolete libgtkhtml2