gh-127833: Docs: Add a grammar-snippet directive & replace productionlist
#5161
| Job | Run time |
|---|---|
| 4s | |
| 4s |
grammar-snippet directive & replace productionlist
#5161
| Job | Run time |
|---|---|
| 4s | |
| 4s |