As can be seen, GlobalSettings.php is a huge mess with lots of legacy and historical settings laying around. While the history might be fun to look at every now and again, it makes working with this file increasingly difficult.
This file is versioned so a historical version will exist after the clean up.