revision: introduce --exclude=<glob> to tame wildcards