All of the documentation that is available for HTML
editor is on the HTML Editor support page:
html-editor/
If there is documentation you would like to see added, please let us know by filling in the submit an idea form:
submit-idea.php
and set the type to Documentation.