cosmetic
Track command-line targets in a separate set, to simplify tracking of targets