Editor: Remove ace.js and themes.