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