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
a risk.
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
distinction?
Jon