`  : It's in the History of Mozilla Firefox article. But according to the official FAQ on the matter: ``A ``Firefox`` is another name for the red panda.`` : Either way, this is a talk page for the article, not a forum.   `