That's some pretty useful documentation there. I hope that it at least forms part of a submission to the WHATWG folks.