@etchedpixels @liw I spent a healthy time in a university dept surrounded by maths types whose version of "vi vs emacs" was "Coq vs Quickcheck" (aka theorem proving vs model checking) - but both meant, you know, studying things and writing arcane spells. Effort, time. The unthinkable.