Web-based editor
Am I alone in <i>not</i> jumping on the Visual Studio [Code] bandwagon? Other online editors have had "vim modes" for <i>ages</i> (e.g. Overleaf) and frankly I'm unlikely to write a chonking great script or project in a browser on Github -- a minor modification is much more likely. VS Code's codebase is <i>huge</i>. Will Github allow people to use other $EDITORs?<p>(Yes, I'm aware this makes me sound like an old man!)