Thanks! Could you open the PR in pyodide/pyodide-recipes too? We are planning to remove recipes from this repository to decouple the recipes and Pyodide core.

Good to know, done in pyodide/pyodide-recipes#65

The CI failures do not seem related to my PR:

• FAILED tools/tests/test_deploy_s3.py::deploy_to_s3_mime_type - AssertionError: assert 'gzip,aws-chunked' == 'gzip' in GHA test-python build log
• ERROR: rustup toolchain install failed in CircleCI no-numpy-dependents build log
• test_webworker.py::runwebworker_missing_import[classic-chrome] failure in test-core-chrome-webworker build log

FAILED tools/tests/test_deploy_s3.py::deploy_to_s3_mime_type - AssertionError: assert 'gzip,aws-chunked' == 'gzip' in GHA test-python build log

Caused by the boto3 release yesterday, you can ignore it.

ERROR: rustup toolchain install failed in CircleCI no-numpy-dependents build log

Resolved on the main branch by #5348 just now, please merge main.

test_webworker.py::runwebworker_missing_import[classic-chrome]

Long standing flake, it won't block merging.

Thanks @lesteve!