DocSearch: Searching: No need for a strict search if a fuzzy search is done

Signed-off-by: Jerome Flesch <jflesch@gmail.com>