If ``s'' is selected in #8.1, the rule mix may be saved as a ``*.mix* file (the default filename is mymix.mix, see ``filing'' #28).
