A simple markdown GUI editor based on pandoc