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.