Update ace-bookmarklet.js