Besides software used on the actual Ingenuity helicopter, there is also supporting software for observing and Mars 2020 robots including Ingenuity, which involves 3D visuals that I believe Garrett creates with Three.js.
I will reach out to Garrett to get confirmation that what I am saying is true.
If this is true, is it possible that we can amend the list of used libraries to better reflect who contributed Mars 2020?
I myself have contributed to Three.js as well as many others. It would be neat to have that badge.