The documention for production-pattern-sequence

[soegaard]

A literal ellipsis is one option for a production-pattern-squence.

In the documentation it looks like:

Since comments are used nowhere else, I didn't register that "; literal ..." was
a comment until I read the scribblings file.

How about changing it to:

production-pattern-sequence  ::= production-pattern
                                                      |    literal-ellipsis

and add below that literal-ellipsis is an ....