Make formatting on save optional and off by default