Text this: Typescripts, proofs, and indexes /