Revert "Bug 17917: [QA Follow-up] Reprove Search.t"