User blog comment:MisterWoodhouse/Pausing UCP migrations to resolve some critical blockers/@comment-32704847-20200902103910/@comment-24155515-20200902162608

"Even if it's a raw, raw, raw text box with no text highlight"

Fun fact: turning off the editor entirely would allow someone to port in a JS-based editor of their own choosing via their user JS (or on-wiki JS or gadgets, where applicable) if they want (for instance, I have the editor turned off where I'm given the option on English Wikipedia, because there's a Gadget there that replicates the removed 2006 toolbar (the editing buttons available in source mode right now on 1.19/legacy wikis here on Wikia) but requires the available editors be disabled).