Added section for gundo settings