[webkit-dev] gtk.HTML class nonexistent [was: Re: [pygtk] Computing optimum size of gtkhtml2.View]