Discussion continued from https://github.com/winterstein/Eclipse-Markdown-Editor-Plugin/issues/28#issuecomment-379602805