[3.13] gh-127833: Docs: Add a grammar-snippet directive & replace productionlist (GH-127835)
#129689
+226
−2