Fixes bug 1092505 - Redirect top-right search box to Super Search.

@peterbe r?
What's the point of keeping it if the query is an empty string?