As to the proposed solution in "The workaround:"

These are the, as of today, existing extensions for:

• Chromium-based browsers - https://chromewebstore.google.com/detail/custom-javascript-for-web/ddbjnfjiigjmcpcpkmhogomapikjbjdk?hl=en

• Gecko-based browsers (Firefox) - https://addons.mozilla.org/en-US/firefox/addon/greasemonkey/

As to the actual java script - yes it does what it says on the tin but not 100% consistent all the time. Sometimes it misbehaves. I noticed that it always behaves properly when a new "word + space after it" is added, then the script understands that there are edits to preserve. But if you just have a sting of say 3 letters "aaa" and add an extra one to it "aaaa" then hit Esc the script doesn't quite detect this as a change and thus u lose your changes. So, with this small caveat it actually works ok.