The default search was broken, so I’ve replaced it with a Google plug-in.  The search page looks rough around the edges, but at least it works now.

Dosh Dosh had the best set of instructions on How to Set up Google Custom Search for Your Website …