If the gui is kept while making Kopernicus_config normally patchable, it would be good to have it externally documented as well. Additionally, we should add a patch template for end users if the official policy is that the config should only be patched, not directly edited.