Bill Baxter: > Try clicking on the little "comments" button at the upper right of > every page of the docs. Oh, I did not see that (in more than one year of using those pages), thank you very much :-) Bye, bearophile