This is correct. Let me just re-iterate that we are working on a new, more streamlined plugin system that will make it much easier to make small changes to the platform, such as customized settings.
In particular, it’s now extremely easy to customise the edx-platform settings, as described in the example. As a bonus, it’s also very easy to share plugins with other people.