Lean prompts and docs with mode-specific loss checks.
Recent revisions are kept. Restoring one creates a new revision.