A user script that displays a "search all projects" form in the header of BaseCamp pages. It only displays when logged in. - View it on GitHub