Recently, I've had some trouble with the search function on the site a few times, nothing major, but I set up this google search for the site. I find it useful, might be to others too:
ODT Google search
ODT Google search