[TUHS] Retypesetting Unix documents (was: Documents for UNIX Collections)