set up MarkdownProofer