[codemirror] removing more html files