Fix irrelevant search results for short queries like GSoC#744

MuhammadAashirAslam wants to merge 1 commit intoprecice:masterprecice/precice.github.io:masterfrom

MuhammadAashirAslam:fix/search-typo-toleranceMuhammadAashirAslam/precice.github.io:fix/search-typo-toleranceCopy head branch name to clipboard