On Apr 17, 2007, at 2:40 PM, Andreas Raab wrote: > Sounds good in general but can we name it "docs" instead of "Doc"? I agree entirely with Andreas. Can we make the plural discretionary too? Thanks, Ian