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

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