Require write access before optimizing a file

Optimize checks write access on the stored file before writing anything, so a refused save no longer leaves an optimized copy on disk.