DVD はまだだけどソースが historic に出てるからそろそろ作業始めるか。 sources と texmf と extras のうち extras だけ日付が違うけど、まあいっか。 しかし ptex が取り込まれたとなれば、面倒だな。