Bill Conlon scribbled on 6/10/05 10:21 AM:

> Seems to me this particular need can be address by adding a radio 
> button to select the docs index.

good point. iirc, Bill and I talked about adding pulldown selection to search 
docs, list archive, devel docs or site. must have got lost in shuffle.

I'll look at this when I have a moment.

-- 
Peter Karman  .  http://peknet.com/  .  peter(at)not-real.peknet.com