Re: remove check from texi2html

> What is the point of this feature/file?  Are you using it in 
> development?  Do you know why someone might?

I am not using it, and I don't see a use. It just lists the texinfo commands 
present in a file. It has some bugs as commands in @verb or @verbatim,
in comments and in @ignore will be counted.

Pat