Todo: gundo needs python. snippet hot key.