Issues with comments

[pbelmans]

I just tested all the existing comments in the new comments system. Scrolling through, I noticed the following issues (which are not supposed to be fixed by our code):

• [x] turn all \ref{label} into \ref{tag} on 112 (00DC), 394 (00DE, 0038), 459 (00DV), 672 (0052), 1163 (02OK), 1912 (0A30), 3002 (0101)
• [x] comment 176 has an escaped underscore: just make it mathematics
• [x] comment 2177 has escaping gone wrong, remove it
• [x] comments 240, 657 and 1977 have <i> and <b>, turn this into Markdown markup
• [x] typos and other things
  • [x] \mathrak on 686
  • [x] \codts on 3012
  • [x] comment 1504 is copy-pasted TeX code

[pbelmans]

I've fixed these in a local copy, when we are migrating I will download the last version of the database and update the comments table.