RST_STREAM description simplification
RST_STREAM is ok in the "half-closed (server)" state
Mark's edits to RST_STREAM+NO_ERROR
Refinement