Mildly surprised they weren't doing this already -- the thread doesn't mention whether they're doing the build with Profile Guided Optimization, which is widely

Mildly surprised they weren't doing this already -- the thread doesn't mention whether they're doing the build with Profile Guided Optimization, which is widely reported to yield speedups of 10-20%, depending on the script, with an additional boost from link-time optimization where available. (--enable-optimizations --with-lto in configure, which does seem to be the current recommendation from upstream: https://docs.python.org/3/using/configure.html https://docs.python.org/3/using/configure.html)