If the end user did not enter an OP Identifier, the following
information will also be present:
* Claimed Identifier
* OP-Local Identifier
The Claimed Identifier can not be an OP identifier. Therefore, I think
there is not a problem with the way that HTML discovery has been
specified. I don't have time to write up why right now, but I'm -1 on
adding a type field to HTML discovery.
Josh