My many year peeve is github adding "Source code (zip)" to the files in a release. It is the repository state at the tag, and needs some processing (think simi

My many year peeve is github adding "Source code (zip)" to the files in a release. It is the repository state at the tag, and needs some processing (think similar to generating configure etc), hence being a hindrance for someone looking for the source code to use. I do provide a useful source code file, but can't override github being unhelpful.