Re: Refreshing Info nodes

[Stefan Monnier]

> Reverting in Info is implemented by the function `Info-revert-find-node'
> whose purpose is to go to an Info node (like `Info-find-node'),
> by killing the original buffer and creating a new one.

> This is peculiar, but I'd like to avoid reimplementing this mechanism to
> keep the traditional behavior, and simply fix a bug to allow it to work
> with buffer names other than the default "*info*":

OTOH I'd really like to see this part of the code modified, because
I think it would clean it up.


        Stefan