OpenID Identity URL for Paul Eggert