Fix regexp for `header`.

Also:

- Add `summary?` and use it to exclude the summary lines such as
  "7 warnings generated".

- Add some comments.