onRevise

Replaces the definition and title, checked as a draft's are. A dataset that needs revision says, from then on, what is wrong with the revised definition rather than with the one it replaced: none of it once the revision compiles, which a publication then serves.