Correct Synapse's PyPI package name in the OpenID Connect installation instructions.