* commit 'b8910812fdd0bb2105738b6b24fc0b9e4b201956':
docs: upgrades to search. Fix history navigation functionality. Faster ajax requery while typing. Ignore ENTER key when performing requery to avoid reload. Improve results reveal with minimum height for proper div.