This is the "avoid reverting buffers" stuff. Reverting a
buffer does
a whole lot of things, which your change short-circuits wholesale
because it basically put a (unless (buffer-and-file-contents-differ)
...) around the whole shebang.
This "local variables don't get reinitialized" problem is the kind of
issue I had in mind when I opposed the change in the first place.
Hmmn, ok. Can someone tell me what the actual problem is? In many cases you
don't want the local variables changed.
andy