added Wiki label
No, this appears to be a different issue than #37 (closed). In fact, it appears to be an issue with gitlab's markdown renderer - or rather, with our pandoc-induced liberal use of markdown syntax, while gitlab's interpretation is closer to the original markdown implementation, which says:
Note that Markdown formatting syntax is not processed within block-level HTML tags. E.g., you can’t use Markdown-style emphasis inside an HTML block.
Span-level HTML tags — e.g. , , or
— can be used anywhere in a Markdown paragraph, list item, or header. If you want, you can even use HTML tags instead of Markdown formatting; e.g. if you’d prefer to use HTML ortags instead of Markdown’s link or image syntax, go right ahead.
Unlike block-level HTML tags, Markdown syntax is processed within span-level tags.
Whereas Pandoc happily interprets Markdown inside tables, as evidenced:
tobias@nibbler:~/ > echo '<table><tr><th>**BOLD**</th></tr></table>' | pandoc -f markdown -t html
<table>
<tr>
<th>
<strong>BOLD</strong>
</th>
</tr>
</table>
Unlike block-level HTML tags, Markdown syntax is processed within span-level tags.
If you look at the markdown source, e.g. https://gitlab.haskell.org/ghc/ghc/wikis/commentary/source-tree.md, you will see that those "mangled" tables are of this shape:
<table><tr><th>Markdown *here*</th><td>More **Markdown** here</td></tr></table>
That is, they do try to use Markdown formatting inside HTML block-level elements.
Since we are going to partially redo the wiki import as part of #37 (closed) anyway, I think it's a good idea to include this in the re-run as well.
Things are looking much better now since the re-import.
closed