Since this isn't enabled by default, and is an optional extension, would be better to move it to ext folder, and not include in ace.js