7bd3087e73
Incidentally removes some outdated (unused) settings from the Horizon settings file. Fixes bug 939820. Change-Id: I61e97c194070e46d21a6c0eb66eef88bd14efeee