GitHub Flavoured Markdown now has a formal spec as a superset of CommonMark! https://githubengineering.com/a-formal-spec-for-github-markdown/