A further case for replacing the editor is how lousy it is when you’re on mobile. It does things I can’t even explain. It’s nearly impossible to edit previously existing text.
Funny you should mention Gitea. On code.vikunja.io, I’ve noticed some weird behaviour in the text boxes too, but I don’t see it in my personal hosted gitea instance. Perhaps we’re on different versions?