man: Document the new --filter option