logo  Logo on 2025-08-18: CodeMirror