[mardifoufs]

I think this change only affects automatically (and dynamically) generated source archives, not those that are actually pushed to Github Releases beforehand.