This version significantly improves Texinfo support:
* full text searching includes Texinfo, RFC, and other text files
* intrapage searching for Texinfo shows all matches (vs other info viewers)
* fast Texinfo display (high quality on-the-fly formatting from Texinfo source)
* yellow-marker highlights available on Texinfo
* command name searches can match Texinfo names and (optionally) prefer them,
