Re: save-buffer fails if file exists: how to reproduce