[Andrew]

Right, what Curt said. You can go either direction, but my recommendation would be that if you change a default setting manually and then change your mind, you "remove" your setting instead of explicitly setting it to something that matches the original value, as the latter will remain in effect even if we change the built-in default.