Isn't that just straight up copyright infringement? I understand that it's common in developer tooling to pick a character and use them as a logo, but it seems

Isn't that just straight up copyright infringement? I understand that it's common in developer tooling to pick a character and use them as a logo, but it seems like a bold move to do that with some sort of external tooling at Mozilla's scale.