KomodoEdit: better versioning