Downloading pyodide-0.23.2...

Python startup...