diff --git a/spec/mainadditions.html b/spec/mainadditions.html
index 13805010e8..f9b853f9ec 100644
--- a/spec/mainadditions.html
+++ b/spec/mainadditions.html
@@ -85,30 +85,6 @@
-
-
-
-
- No changes, but these productions must be present for symbol references because biblio.json contents are not propagated to grammarkdown.
-
-
-
- NumericLiteralSeparator ::
- `_`
-
- DecimalDigits[Sep] ::
- DecimalDigit
- DecimalDigits[?Sep] DecimalDigit
- [+Sep] DecimalDigits[+Sep] NumericLiteralSeparator DecimalDigit
-
- DecimalDigit :: one of
- `0` `1` `2` `3` `4` `5` `6` `7` `8` `9`
-
- NonZeroDigit :: one of
- `1` `2` `3` `4` `5` `6` `7` `8` `9`
-
-
-
Mathematical Operations
[...]