Between 1.2.1 and 1.2.2, the order of the productions in the legend was swapped. However, the comments used for highlighting were not swapped. However however, due to an apparent bug in the m2k script, the highlighting is also somehow swapped, so the highlight comments are incorrect in spec.md but correct in the HTML output.
Ideally, the production names should be put back in spec.md to how they were in 1.2.1, and the script should be fixed.
Between 1.2.1 and 1.2.2, the order of the productions in the legend was swapped. However, the comments used for highlighting were not swapped. However however, due to an apparent bug in the m2k script, the highlighting is also somehow swapped, so the highlight comments are incorrect in
spec.mdbut correct in the HTML output.Ideally, the production names should be put back in
spec.mdto how they were in 1.2.1, and the script should be fixed.This was discovered in #254.