hugovk, 
It's the annual Python core developer sprint, this year kindly hosted by @encukou and Red Hat in Brno, Czechia -- thank you!
The first of (at least!) three PEPs being authored this week is by @freakboy3742 and targeting Python 3.13:
PEP 730 – Adding iOS as a supported platform
https://peps.python.org/pep-0730/
Discussions:
https://discuss.python.org/t/pep-730-adding-ios-as-a-supported-platform/35854?u=hugovk
