create mode 100644 config/OpenID.pkl
 create mode 100644 dashboard/src/oidc.rs
 create mode 100644 tools/dashboard-oidc-test.py
 create mode 100644 tools/oidc-provider.py