Formatted text selection
The widget a formatted text field is edited with, in the four states it comes in: a field allowed one format, a field allowed several, a field on a format with no text editor behind it, and a field whose stored format is not one it allows any more. Three of the four are altered by `mantra_field`, which names the format where core hides the selector, keeps a dropped format selectable, and puts the 'About text formats' link back under the control it explains. Nothing is saved, and what the page shows depends on the formats the account reading it may use.