Revert "This is supposed to fix issue #471."

This reverts commit 3878de02dad49b24038cd29838e55e821a648fa0.
Revert "Don't use automatically generated dates in the banner."

This reverts commit a9a4a660f919d4251d7c2f944565eb1590f0b357.
Revert "Revert "Don't use automatically generated dates in the banner.""

This reverts commit 1f2b2349ad6e9dbf2be6b999efdcb2837c16f87f.
Revert "Merge branch 'no-automatic-dates-in-banner'"

This reverts commit 5ba69cb20566d5931b1b15ba9c9383889b2c5b93, reversing
changes made to 3878de02dad49b24038cd29838e55e821a648fa0.