In the desktop version, one can easily edit HTML by clicking on the relevant menu option, or pressing Ctrl+Shift+X.
However, this editor defaults to an arial font, with no way to change this.
Given the fact that typical html code relies on proper indentation and tag alignment for readability, it would be useful to be able to select the kind of font that is used in this window (or at least default it to a monospaced font).
PS. Incidentally, 99% of the time I enter HTML mode is to add ‘ul’ tags to create bullet points. I am very surprised that the main editor doesn’t provide a shortcut to create these …