Is there a particular place where extension developers should be putting configuration settings for their extensions that cannot be overridden by the user? For example, I explored the Settings facility.
overrides.json allows for default settings to be specified for extensions. However, these settings can be overridden by the user. Is there something like
overrides.json where an extension can pull default settings from that cannot be overridden by the user?
I know I can create a server extension that can serve up default settings, but I am wondering if there is a canonical way of doing this.