Markdown for user notes

[skodapetr]

As of now the Help tab contains instructions about using LaTeX like syntax, this is probably an overkill and it would be better to fully support only Markdown. The reasons are:

• Easier rendering
• Faster to type

We can abuse the name of a language after code section to specify a quote as a type of language. When it comes to links, we can employ special prefix doi:// and other to link between local files.

Another intended feature is using the keywords, we can employ links to do so. The reason is that in the end we want the keywords to be connected to other nodes/resources anyway.

The one missing function is to create an anchor. This can be addressed by using notes of smaller size, so there is no need to identify particular line in the note.

Related:

• https://github.com/markedjs/marked