Comment by 188201

If this is in the github editor, or a new jupyter frontend, that would be cool. An app replaced my neovim setup? No thanks.