Their mobile text editor looks very good. Anyone knows what library they used for it? Edit: Based on one of the developer's comments, it's CodeMirror 6, which

Their mobile text editor looks very good. Anyone knows what library they used for it? Edit: Based on one of the developer's comments, it's CodeMirror 6, which makes sense since it's the only editor with good mobile support.