HTML5 and XML Stylesheet PIs

In the proposed CR draft for HTML5, I see:

In 4.2.7 Styling:

  Style sheets, whether added by a link element, a style element, an
  <?xml-stylesheet> PI, an HTTP Link: header, or some other mechanism,
  have a style sheet ready flag, which is initially unset.

In 4.3.1.4 Interaction of script elements and XSLT

  When an XSLT transformation program is triggered by an
  <?xml-stylesheet?> processing instruction and the browser implements
  a direct-to-DOM transformation, script elements created by the XSLT
  processor need to be marked "parser-inserted" and run in document
  order (modulo scripts marked defer or async), asynchronously while
  the transformation is occurring.

In 5.6.3 Page load processing model for XML files

  Note: Because the processing of the manifest attribute happens only
  once the root element is parsed, any URLs referenced by processing
  instructions before the root element (such as <?xml-stylesheet?> and
  <?xbl?> PIs) will be fetched from the network and cannot be cached.

This seems sufficient to me on a few moments thought. Are we happy?

                                        Be seeing you,
                                          norm

-- 
Norman Walsh
Lead Engineer
MarkLogic Corporation
Phone: +1 512 761 6676
www.marklogic.com