Yeah, it's a very ugly and confusing case of "trademark overload" where "Redis™ Labs" is not directly the owner of "redis" the server application but is directly the owner of "Redis™ Modules" add-ons for the server application. Redis™ is not exactly "redis", one of these things is not like the other.