== Puma == 

 Is Puma  a codename (that should be included) or a commercial product name (that may or may not qualify for inclusion here). The distinction does appear to become somewhat of a grey area, with codenames inclreasingly gaining use as eventual product name.