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