Inspecting the page on several lessons, it seems to be CodeMirror. Though AceEditor has Codecademy listed as a real world user. Do you guys use a combination of the two? Or make a switch from Ace to CodeMirror? Just curious if anyone has insights on the implementation decisions made because I need to embed a similar code editor into one of my projects.