Usage of unregistered PUBLIC identifiers

It appears that the W3C document definitions use unregistered public
identifiers. I believe that it would improve the quality of the
standards if a registration of formal public identifiers with ISO was
attempted.

The easiest way to achieve such "registration" would be to use the
Annex K notation, i.e. "+//IDN www.w3.org//DTD HTML 3.2 Final//EN".

However, it should be possible to register the W3C with ISO, and then
use "+//W3C//DTD XHTML 1.1 Strict//EN".

Regards,
Martin