This should go when we enable writing the file by default. I don't know why we should then keep an option to disable it, do you?