Oh wow, thanks to https://github.com/coq/coq/issues/13959 I discovered that GitHub now supports Markdown in issue titles :tada: (at least code quotes)
Last updated: Apr 19 2024 at 00:02 UTC