it does raise a separate question for me about the ACE editor ... v7/v8/v9, if someone wanted to add a new mode/theme, they could drop in the relevant JS file into that folder - as in physical filesystem ... would that still work? (I'm asking this before trying it out myself)