Merge branch 'no-automatic-dates-in-banner'
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.
Merge branch 'master' into bidi
Revert "Revert "This is supposed to fix issue #471.""

This reverts commit 1e6605d95b86b949db78ec72b74d5835b1e8f797.
Merge branch 'master' into bidi