CodeMirror is one of those workhorse projects that many people here have probably used many times but may not know by name. It powered the Chrome DevTools Console for many years for example. (It seems like the Console may still be powered by CodeMirror but I'm not familiar with that codebase anymore.)
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.
