Added Gundo options.