Set up OIDC single sign-on

Let people sign in with an OpenID Connect provider.

note

This page is being written.