Update: I put up a PR to document the trace recording interpreter https://github.com/python/cpython/pull/146110