There have been edits made to css-ui-3 since its publication as REC made by people other than the listed editors, some without WG resolution, some editorial, some normative, including some which were mistakes (see for example #13001).
This is an issue to remind myself to look into the history, review the edits, and bring back to the group anything that needs confirmation.