Archived tweet #10415 from the @leastfixedpoint Twitter Archive

@beka_valentine Less faff, easier to make it feel like emacs on other platforms, etc. Also, maybe less broken with packages like proof general?? Maybe