An option to disable the editor's undo/redo feature

Question

It would be great to have an option to disable the editor's undo/redo feature.

Motivation: it causes some annoying issues, e.g.:

• Ctrl+Z undoes twice in editor
• Editor's undo does not track pastes

and some users may prefer their browser's default undo/redo.