Ultimate WordPress editor options

Exploring a few years ago where options could go in WordPress. This then formed the basis for the new preferences panel.