Add Gundo plugin's mapping