This.
Ironically this editor, Redactor, allows to edit the HTML code of our posts (in the demo it's literally the first button of the toolbar), but the option is not enabled on itch.io
