So the redis package renames it to redis. No big deal. You're thinking of it as if upstream is primary. Actually, when you use a distribution package, the dist

So the redis package renames it to redis. No big deal. You're thinking of it as if upstream is primary. Actually, when you use a distribution package, the distribution has the final say over the contents of the package.