Added command-line option ':all'; fixed handling of identical options.