Hi Nicolas,
great work! It's fantastic that orgmode now gets a specification.
What may help is to document the syntax machine readable and somewhat
more formal. This ensures that there are less differences in
interpretation and that the specification can be used to generate an
orgmode parser directly. An example could be how the ietf specifies
things, have a look at https://en.wikipedia.org/wiki/ABNF or EBNF.
It's not much difference from what you have done, but it's more
unambigous.
Thanks for the great work!