The Theory and Practice of Text-Editing