Delete obsolete NERDTree settings.