yeah, it’s a nickname for it, and I wasn’t quick enough on my edit to fix that before your reply, but if you pop in the two terms into an image search engine, you’ll see 火狐 is not literally red panda in chinese, but 小熊猫 is all red pandas.

I came across it when I saw a reddit comment from a chinese person stating the correction: https://web.archive.org/web/20230604172848/https://old.reddit.com/r/todayilearned/comments/3nof72/til_that_the_red_panda_is_firefox_in_chinese/ (or can copy/paste everything after old.reddit if you don’t care about the data tracking, for the faster page load)