[OpenID] Scheme in OP-Local ID

[Jack]

Hi,

Are the following two OP-Local identifiers the same identifier?

1)   http://user.example.com/
2)   https://user.example.com/

What about this one?
3)   http://USER.EXAMPLE.COM/

I can't see anything in the spec that says that an OP-Local identifier
can have more than one string representation. I also can't see anything
that says it can't; but if it can, then I would have expected to find
some prose explaining what restrictions should be enforced.

I would suppose that 1) and 2) are different identifiers, and that 3) is
the same as 1).

Thanks,
Jack.