The search box is back after a short holiday. Why did it go? When I hacked rejigged the way Domino served the pages I found that the search page wouldn’t work any more – I got a “HTTP Web Server: Application Exception – Documents treated as HTML cannot be edited” error. After guessing likely URLs I still couldn’t get it working so back to the less than perfect but usable current search page.
I rebuilt it using Jake’s most excellent article. However, the nasty work around I’ve resorted to to get this working is to leave the search page as it was: unpleasant, un-accessible, quirks-mode HTML. But at least the search is there in the meantime.