I take back what I said about the grammar existing being correct—I’ve been reading other grammar rules too much recently (the IETF RFC ones in particular) and was thinking `[…]` meant optional. There is a problem with the current grammar, but the new one is wrong also. I think that just tacking a question mark after the `]` on the existing grammar would be correct?