Remove outdated Python header attribs?

[albertz]

In some Python file, we still have this, which basically survived for many years:

__author__ = "Patrick Doetsch"
__copyright__ = "Copyright 2015"
__credits__ = ["Patrick Doetsch", "Paul Voigtlaender"]
__license__ = "RWTHASR"
__version__ = "0.9"
__maintainer__ = "Patrick Doetsch"
__email__ = "[email protected]"

I didn't really want to remove it to keep it as a reference for the history. But I'm not sure if this is still reasonable, as we have the history also in so many other places:

• The Git history
• https://github.com/rwth-i6/returnn/blob/master/CHANGELOG.md
• Our papers on RETURNN

Also the other information here is stored in better (more standard) places:

• Copyright, licence: https://github.com/rwth-i6/returnn/blob/master/LICENSE
• Version: just the Git commit ref, or auto-generated based on date/commit: https://pypi.org/project/returnn/
• Maintainer: https://github.com/rwth-i6/returnn/blob/master/CODEOWNERS
• Contact: Our mails are easily findable, and otherwise GitHub issues/discussions here are meant for this

So, as both of the mentioned authors here are not really actively working on RETURNN anymore (since a long time already), and also the other information is outdated (or at least redundant), I would suggest to clean this up and just remove this.

Or what do you think?