On Mon 18 Jul 2016 12:18 -0400, Stewart C. Russell via talk wrote: > While info might have a few useful features, my main gripe with it is > that to process an info page, you need to pull in texinfo. This in turn > pulls in TeX Live as a dependency. What crazy build are you using where texinfo pulls in texlive?