Document history

Identifiability concerns uniqueness from noiseless observations.

Every saved edit keeps its own text, status, editor, and time. The live document always shows the newest saved state.