Pin HtmlEditor version

If we move to a later version of the HtmlEditor library, then we have to fix our code to comply with interfaces that are not in this version of the library.