Yes I was poking around earlier today to try and confirm whether the Console is still using CodeMirror. I saw a couple instances of the name but didn't want to overstep my bounds and make an inaccurate statement.