an editing of an old text, picking up good and sensible portions from different manuscripts.