Matt Saunders wrote: > I was going to post a note, but since I thought notes were for extra > detail / usage suggestions etc, and that since this is a mistake rather > than just a shortcoming, that perhaps the manual editors would prefer to > know about it some other way.
Fill bug report for such mistakes next. I fixed this one in XML sources, it will appear on web in couple of days (or weeks :-)). Jakub Vrana
