Many of us don't speak English as native language. So the word Pangolin is very unknown to many of us. The Penguin on the other hand is known to every Linux user. And it's very dear to us. Precious Penguin would be a very nice alternative, and understood by every Linux user. Natively English speaking or not.