Docsearch: Don't provide suggestions for short words, it slows down everything

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