Installed the Gundo plugin.