[Lxr-general] quickie comment

[David F. <da...@fe...>]

Cool tool. Thanks.

The pengmini.gif is not there in 0.9.2.

David Felsenthal