but changing the default likely breaks something else so
fix it here...

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.

We did the same sanity cleanup for all other code.  Easier on the
eyes and easier to fork.  ;)

Discussed with: ad@

Submitted by: Liu