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

[Richard Stallman]

The idea makes sense.  The variables should be named
auto-save-functions, according to conventions since 15 years ago.

But it isn't quite straightforward, because the code in fileio.c uses
a static variable auto_saving which alters the behavior of
write-region.

We do theoretically have a problem with this now, since the call to
Fsleep_for could run a process filter or sentinel.  So it would be
good to change that mechanism.