This isn't an appropriate list for this, but MaxSem and hashar told me to post it here anyway, so here goes. There's a patch[1] to remove 'visualeditor-enable' from $wgHiddenPrefs, essentially allowing for disabling VE on a per-user basis again. It has overwhelming community support, but the VisualEditor team is refusing to acknowledge it, and ops say it's "none of their business". Can something be done about it? [1] https://gerrit.wikimedia.org/r/#/c/73565/ -- Matma Rex