You can open a text-editor on the source of the shown text right from the
HTML-viewer
.
To do this, press the
Ctrl-
-key while clicking on the
Source
-Button in the html-viewers toolbar.