Pandoc for the people: Convert documents without leaving the browser