missing overlay.js for Codemirror rst mode