Logout from Jenkins entails logout from OpenID Provider.