OpenID Identity URL for Jakob Odersky