On Fri, Jun 26, 2020 at 12:42 AM Rob Cliffe via Python-Dev <python-dev@python.org> wrote:

1) In the beginning of the "Mapping Pattern" section:
"{" (pattern ":" pattern)+ "}"
This is spelt inconsistently: there is a `+` before the closing `}` but not after the opening `{`.

That grammar is more like a regex: + means "accept one or more of the previous" here.

Maybe grammar inserts should be their own subsections to avoid confusion, or at least highlighted, instead of mixing into the text.