explicit notion of public options, which are shown in the editor options dialog;
avoid hard-wired stuff;