I have a patch that reworks the parser of these files. In particular, it makes the parsing stricter.
This found some bugs in the documentation, which are fixed by this commit.
Also do some adjustments to make the annotation format more uniform. In particular, have a separate
/**/ block for each
---tag---. Also, let the end of the annotation always end with exactly
* ---end--- */