A repository to describe the reveal.js-codemirror plugin