Checkbox 'Uncovered Substitutions'

The information if the box 'Uncovered substitutions' is checked or not is now saved directly in the format. You do not need to check it every time anew.