!7 p-subst { autoRestart(); db(); uniq(SFEditor).start(); }