Re: 4 minor suggestions for files.el

[Richard Stallman]

    BTW.  It seems this problem is not specific to revert-buffer and undo.

It partly is and partly isn't.  Yes, you can mistakenly edit the
version header with any commands.  But what's specific to undoing the
revert is that you are particularly likely to edit the version header
that way, and not even know you are doing so.

    Shouldn't we mark the $Id$ version header read-only ?

Then you could not delete the header.