search functionality for web page

It would be nice if the home page included a search box. Is this something
we can provide?


If it's fine to just point to Google with a "" query,
then I think yes. I don't really want to set up our own search system
though (because of work it takes and risk of getting something wrong).


We should probably use the google custom search engine thing. We can make it look like our site apparently, but it's easy to make it search a large set of sites. Here's the list of URLs that I think we should have a search include...!/Bro_IDS!/search/%23BroIDS
Any others?


Good idea, I'll look into that.