gh-127833: Docs: Add a grammar-snippet directive & replace productionlist#127835
Merged
Merged
gh-127833: Docs: Add a grammar-snippet directive & replace productionlist#127835
grammar-snippet directive & replace productionlist#127835