I am pleased to report there is a search box on the wiki. The main search doesn't retrieve items from the wiki, but on the right side of the page, there is a search box just for the wiki. Hurrah!
It would be nice if that were labelled as "search wiki" rather than just "search".
Frances
Frances