Gravar-mail: Punctuated equilibrium in the large-scale evolution of programming languages(†)