I was looking at some code on GitHub, and I came across a badge I hadn’t seen before on a developer’s account. It turns out it means some of their code was used on NASA’s Mars Ingenuity helicopter <https://github.com/readme/featured/nasa-ingenuity-helicopter>.