see here https://slinc.hammons.fr/docs/docs/reference/usage.html <img width="748" alt="Screenshot 2024-01-24 at 10 15 09" src="https://github.com/lampepfl/dotty/assets/13436592/8aa5f6b7-3fdf-4462-87b2-661749d02931"> there is already a [standard extension](https://github.com/vsch/flexmark-java/wiki/Tables-Extension) for flexmark (which we use to render the markdown) so this would be a few lines change.