Document history

Introduction

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