A Brief Overview of a few Markdown Editors