JSBatch use bugs fixed (address prefix); CodeMirror addons used