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