OpenID Identity URL for Isabelle