Sort of off topic, anyone know who's this Tim Peters who created the TimSort? Python docs and Wikipedia[1] has virtually no bio for him even though he's very we

Sort of off topic, anyone know who's this Tim Peters who created the TimSort? Python docs and Wikipedia[1] has virtually no bio for him even though he's very well known Python contributor and his code becomes a legacy in this billion dollar lawsuit, among other things(like Zen of Python[2]). [1]: https://en.wikipedia.org/wiki/Timsort https://en.wikipedia.org/wiki/Timsort [2]: https://www.python.org/dev/peps/pep-0020/ https://www.python.org/dev/peps/pep-0020/