Changes to this file shouldn't be committed. (It's the user's preferences, and default options were good)