Re: <filename> changed on disk; really edit the buffer?

[Richard Stallman]

    Also occurred to me that a possible use for auto-saving into the
    current file is when you don't have enough permissions in the
    current directory to create a new file.  

I think it would be better to put the auto save file in a different
directory.  In fact, perhaps we should change make-auto-save-file-name
to do this automatically.

Would someone like to try this?