3 ms·

All editors other than VS Code are for people whose favorite thing to use an editor for is making editor plugins