Having held open the proposal for further discussion of the renamed/added APIs, with the append(<label>:...) APIs withdrawn from this document by the author and no concerns on the other renamed/added APIs, the language steering group decided to accept the revised proposal with the modifications described above.
Xiaodi Wu
Review Manager