Ouch! Yes, it looks like there have been some changes in the source which were not propagated in the description. 
This will be fixed in revision 3 of the specification. Thanks for reporting!
The sources of the specification should be open-sourced soon, to enable public collaborative editing.
As you noticed, to follow the Khronos specifications, we downgraded our specification from LaTeX to AsciiDoctor which is quite less capable on the PDF side, Thus a lot of things are now manual. 