Codemirror now working, with its default theme (& placeholder content in the deck)
clean-up; pointer directory to be restored in next step
restored pointer (mouse-trail) extension