I want them to count as the same command when we do things like compute how often commands appear. Otherwise the fact that they are the same command has to be encoded in the scripts and applications that do such tallying, and that would be messy.