Text this: Handbook of proof theory