Explicar como funciona lo del HTML (lo de GtkHTML, GtkXmHTML y GtkText).