Change Proposal for ISSUE-150
Do not micromanage editors on editorial details.
Pushing for details such as how to write down Unicode character names only makes sense if all W3C specifications were using the same notation. As they are not using the same notation this problem is greater than HTML5 and cannot be solved by this Working Group micromanaging its editors.
Editors will not feel micromanaged. W3C consistency can still be pursued at a higher level and applied retroactively later.