Dan Pascu a donné la réponse:
Quand les utilisateurs aurons besoin de relancer "wmaker.inst" dans une nouvelle version de wmaker, nous le mettrons dans le fichier NEWS (comme je l'ai fait pour la version 0.15.0).
La façon dont les fichiers sont lus depuis la version 0.15.0 rend les paramètres redondants. Le contenu des fichiers de configuration sont recopies dans /usr/local/share/WindowMaker/Defaults.
Donc si de nouvelles options sont ajoutées, cela sera reflété dans configuration de l'utilisateur.
C'est seulement si l'utilisateur souhaite change le comportement par défaut, qu'il aura besoin d'ajouter des options dans le fichier de configuration.