gundo is now run on F6.  commented out easymotion