Comment by cstanley

Both are solved by the delete button and to overwrite any new text that was previously part of a deletion?

May be more annoying than it's worth tho