Rely on python-markdown and pygments for highlighting