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".