This has probably been debated in the past, but I'm curious what people think about containing the dev environment configuration for an extension within the extension repository. Currently, if I add new settings to an extension, I have to go to the vagrant repo and update one or more files to set the desired development settings. It's easy to forget to do this, and easy for settings to become out of date.
Perhaps in the 'config' key in extension.json, in addition, to 'value' there could also be 'development_default_value'? Some extensions have more complicated setup tasks, but even there IMO it would be better to have the ability to maintain any development configuration scripts in the extension rather than in an external location.