Okay, I see what you're saying, but is it necessary?
A long time ago, the keyserver URL said URI and we changed it for
reasons that I can't remember. I think it's because we didn't think it
was necessary, that if it happened to be a URI, the worst that could
happen would be that someone wouldn't understand it, but that's always
If you happened to put in the policy URL an ISBN number, wouldn't it be
obvious what it meant? Wouldn't it work just fine?
I don't mind changing it, but is this just a difference without