Comment # 18 on bug 948134 from Nathaniel Graham

I agree with Mark. User preferences that aren't saved are confusing, since
99.999% of user preferences *are* saved. These options aren't user preferences
at all, and shouldn't be expressed as such under an "Options" menu if you can't
prevail upon to change this and remember user preferences.