Pressing enter in the small quick-search-box while it was empty resulted
in a search for the current pageid.