{
  "name": "Docker",
  // keep in sync with "run_docker"
  "image": "pyodide/pyodide-env:20230506-chrome112-firefox112-py311",
  "remoteUser": "root",
  "onCreateCommand": ".devcontainer/onCreate-docker.sh"
}