Сегодня этот рецепт не заработал почему-то, а заработал такой:
## Код:
```
<Section name="PET">
         <Section name="Compilers">
            <Section name="Fox">
                                        ...
               <Setting name="options" value="нужные опции"/>
               <Setting name="fileExtension" value="MOD"/>
```

Может быть, опции по умолчанию применяются к неизвестным расширениям файлов, а может быть, я вчера вообще этого не проверял. Также нужно учитывать, что при сохранении рабочего стола опции для каждого открытого в PET файла тоже сохраняются в файл настроек рабочего стола Auto.dsk.