I think that avoiding mention of PUSH_PROMISE here is good.  The ordering guarantees don't apply to PUSH_PROMISE in the same way that they do for HEADERS/DATA.  Deferring discussion of PUSH_PROMISE is probably best until you get to the push section.