Update headers with new year

[mariogeiger]

Using the script:

def modification_year_range(file: str) -> str:
    # Use git to get the modification year range
    result = subprocess.run(
        ["git", "log", "--follow", "--format=%ad", "--date=format:%Y", "--", file],
        capture_output=True,
    )
    # output is like "2025\n2024\n2024\n2024"
    years = [int(line) for line in result.stdout.decode("utf-8").split("\n") if line]
    if not years:
        return str(datetime.datetime.now().year)
    min_year, max_year = min(years), max(years)
    if min_year == max_year:
        return str(min_year)
    return f"{min_year}-{max_year}"