Alex wrote:
Extensions can add their own preferences more easily
now. Adding a
default preference to turn off a feature that doesn't yet exist in
MediaWiki core doesn't make much sense.
A preference name could be reserved to be consistently used by all
alternate editors.
Anyway, IMHO any alternate editor should offer an option to disable it
directly on the edit page, regardless of a preference which would define
"don't appear by default".