Trace planes and ships without mistaking gaps for proof.
Recent revisions are kept. Restoring one creates a new revision.
