Re: Info mutilates user overlays.

[Luc Teirlinck]

>From my own previous reply:

   Is there a reason for this?  Why does Info, or why would any other
   special buffer, _need_ to do this?

OK I believe I understand now.  It believe it is because the Info
buffer keeps visiting _different_ files during its lifetime.  I
nevertheless believe this should be pointed out in the Elisp manual in
the section on overlays, unless we could think of some way to get
around the problem.

Sincerely,

Luc.