On the ''Search'' page, the quickjump now doesn't immediately redirect to the corresponding resource. Instead, a normal search for the term is performed and a special ''Quickjump to ...'' entry is inserted at the top of the result list. The quickjump from the search form in the header works as usual. Closes #1269.