Web-based editor
Am I alone in not jumping on the Visual Studio [Code] bandwagon? Other online editors have had "vim modes" for ages (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 huge. Will Github allow people to use other $EDITORs?(Yes, I'm aware this makes me sound like an old man!)