Configuration customisation is hard #11
Description
Due to the way the configuration is managed (standard config.inc.php which includes config.local.php), it's hard to make small changed to this configuration, this is amplified by the fact that config.local.php is a complete copy of config.inc.php, so a change will require including that full configuration again.