copy_as_html does not work on Linux (Ubuntu 20.04 / Qt5), but is not disabled nor is the HTML clipboard option on Tools > Editing > Selections -- the docs do say the option is Windows-only.
It would be useful to have a copy_as_html_text command that created a text clipboard with the selected text formatted as HTML. This would be nice for pasting example code into documentation, for example.