open-document-selector : use a substring filter.