and the phrase is “how do I exit VIM?” because nobody actually says vim and vigor anymore.