4QProv and Textual Criticism