Before I fix this, how many people:
a) use these alternate settings
and
b) would be bothered if they were removed?
I ask this because a discussion came up the other day as to whether they were nessecary; my response was "well, they aren't causing problems, so no need to change anything". Now they are, so I only want to fix this if these options are actually being used.