3. "@comment xx something about leftmost-longest": I found this
comment in the section "Alternation Operator". Since there is already
a paragraph about leftmost-longest matching in general ("What Gets
Matched?"), what was intended here?
Probably we wrote the xx comment before writing the what gets matched
chapter and didn't go back and clean it up. Seems like the xx can just
be deleted at this point.
6. It is not clear whether "@c xx i'm not sure this is all true
anymore." refers to what precedes or follows it.
Follows, so I'm glad you investigated that :).
Thanks,
k
