We probably need to do away with partially processed source and distribute just the git repo (or a tarball without .git but with info about which git rev it is)

We probably need to do away with partially processed source and distribute just the git repo (or a tarball without .git but with info about which git rev it is) and binary packages for end-users.