Author: mcdevitd
Description:
"Preformatted" is HTML jargon which most of VisualEditor's target users will not understand, and it actually produces an effect (text with less formatting) which is unexpected if you don't know what it means beforehand. It should either be given a plain-language name so that people will expect the behavior, or removed.
I actually don't understand why this style effect is in the header-level pull-down when it is not a header-level. My preference is to remove it, since it is uncommon and mostly adding noise, but it should be renamed if kept.
Version: unspecified
Severity: enhancement