Add line about copying defaults.json-dist