The major thing I don't like with this current system is that each time you want to modify an option, the docs always say "Go in Menu XYZ, Submenu ABC, etc. and

The major thing I don't like with this current system is that each time you want to modify an option, the docs always say "Go in Menu XYZ, Submenu ABC, etc. and uncheck this checkbox". => At the end, you always have to open the IDE again and again... Everything is hidden by this IDE, and you end up never knowing where (in which config files) the changes are done.