Sublime Coq This really only exists for the syntax highlighting as GitHub uses this for syntax highlighting for some reason.