de820a33eb813512e9d0417f13003811c4db69a0 tetex.amstex.fmtutil.diff.gz