extensions: avoid useless duplication of headers#289

phillmv merged 3 commits intogithub:mastergithub/cmark-gfm:masterfrom

eli-schwartz:exportfile-gfmeli-schwartz/cmark:exportfile-gfmCopy head branch name to clipboard