History make-check-filter.pl