Web editor being (un)helpful

Hi

When I try to type <!--more--> into the web editor, it corrects it to <!—more—> which doesn’t seem valid (I just checked).

The only way to get it into the post is by copy/pasting.

My iOS keyboard text replacement doesn’t work because I think it is typing it. And the web editor still corrects it.

Can this be looked at?