Re: Uninformative comment in files.el

[Richard Stallman]

    Well, it may need to be reseated.  So maybe it might be smarter to have
    something like a property 'revert-buffer-functions (defaults to
    delete-overlay but could be set to nil instead or to other values).

That is starting to sound possibly useful.  However, I still think
that the code to delete the overlays should be reinstalled, either
with or without this added facility.