It's safe to remove the config now, because it's no longer used.
Merge pull request #1 from philipp-spiess/remove-unwanted-settings

It's safe to remove the config now, because it's no longer used.