fixes #14425 The config: prefix should be included in the actual option name and makes it impossible to change this option.