kill replace libgtkhtml2