History manual/summary.pl