Hide the history search option, again
The patch was dropped in the 153 ESR rebase. We should add it back.