Deleted Gundo plugin