They could have gone with “Catamount” or “Puma” and there would be even fewer jokes.
“Catamount,” yes. But with puma, you still risk hearing jokes about “Puma Man”, Pete Puma from Looney Tunes, and a certain athletic clothing brand.