Ben Pfaff wrote: > The web interface is searchable. Type your search string into > the box labeled "search:" and hit Enter. Click on the question > mark for a description of the kinds of searches that are > available.
Indeed! Thanks for pointing this out. This weakens my previous arguments. Bruno
