| 00:19 | <bakkot> | jschoi: ah, yeah, that's the "because some of the checks are from grammarkdown, which doesn't really know about the biblio" thing |
| 00:19 | <bakkot> | I will look into suppressing that warning or conveying the necessary information to grammarkdown sometime soon |
| 00:24 | <bakkot> | oh actually that one is not from grammarkdown |
| 00:24 | <bakkot> | anyway should be easy enough to fix |
| 02:16 | <bakkot> | jschoi: https://github.com/tc39/ecmarkup/releases/tag/v12.0.2 |
| 02:16 | <bakkot> | this also hopefully makes it possible to use --lint-spec in proposals which add syntax, like this one |