Markdown or mCRL2, that's the question