Yes, I think this is good idea. Whenever user manually edited these configurations, the OS should leave it as is. Independently of OS version or any changes on whatever location. But: when these configurations are in its default state, they should get updated with every OS upgrade as well. Or? (it should not be too hard to implement a timestamp and change check against the gitlab version on opening this menu?) Thanks for the hint about 'Reset to default'. I never ever had seen this pulley before!