We're very excited to announce that The 8472 has joined the Library team!

The 8472 has been working on many optimizations and other improvements to the standard library, is involved in many library-related changes and discussions, and regularly reviews pull requests.

Congratulations The 8472, and thanks for everything you do!