I tracked it down to this PR from September 2022, so it's been around for a whil...

		simonw 15 days ago \| parent \| context \| favorite \| on: Python on the Edge: Fast, sandboxed, and powered b... I tracked it down to this PR from September 2022, so it's been around for a while: https://github.com/pyodide/pyodide/pull/2976