CORBA35 — Status of hashed repository IDs

Summary: The OBV spec orbos/98-01-18 introduces a new repository ID
mechanism. It says in 5.6.2.1

>> We don"t recommand the classic id format "IDL:" <scoped name> ":"
>> <major> "." <minor> because it is not "foolproof" enough. (It is of
>> course allowable to use this format, since the CORE specification
>> does not mandate any particular form.)

The last sentence is not entirely correct, as 8.6.4 of formal/98-02-33
specifies

>> A definition is globally identified by an OMG IDL - format
>> RepositoryId if no ID pragma is encountered for it.

The issue is whether the OBV specification changes this default for
values or not