We do not embed file names into the header, because files get
deleted and renamed every now and then.  git-log is a good way
to read the full history.