add --no-coverage-search option to FAQ