Re: about an info search tool

[Karl Berry]

    It can be viewed or downloaded here:

      http://home.jtan.com/~reader/exp/scripts

Thanks very much for the info and the script.  I'll see about at least
including it or a reference to it in the distribution.