diagnostic.config
diagnostic.settings
Follow up to #3226, in line with the decisions made in #3254.
settingsOptions