They don't use any IDEs or modern editors, but vim as a bare bones text entry, without syntax highlighting or word completion.