He's listed as the (co-)author on a number of PEPs: - PEP 533 – Deterministic cleanup for iterators - PEP 518 – Specifying Minimum Build System Requirements f

He's listed as the (co-)author on a number of PEPs: - PEP 533 – Deterministic cleanup for iterators - PEP 518 – Specifying Minimum Build System Requirements for Python Projects - PEP 517 – A build-system independent format for source trees - PEP 465 – A dedicated infix operator for matrix multiplication - PEP 600 – Future ‘manylinux’ Platform Tags for Portable Linux Built Distributions - PEP 8016 – The Steering Council Model - PEP 568 – Generator-sensitivity for Context Variables (and that's as far as I cared to look - unfortunately https://peps.python.org/ https://peps.python.org/ lists the authors by last name and there are multiple people named "Smith") So it seems he has in fact "done much".