Bring back gundo plugin. It was unusable at the time being.