A distribution tarball beyond github's autogenerated one?

[andreasabel]

The distribution tarballs we link from https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary targeting the github archive contain administrative stuff like .github, .gitignore etc.

I guess it would make sense to publish cleaner tarballs that only contain the relevant files.