> - allow PIs only before the root element (and perhaps only before the
> DOCTYPE if there is one), probably with the start-tag syntax
> restriction

How about placing them under, rather than adjacent to, the root element?
There is no real semantic distinction between one and the other, and
that would eliminate the need for a separate Document object in the model.