Option File->Advanced->Reindex all docs: Destroy the index before reindex. This way we are sure the index is fully rebuilt

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