I don't think the Redis Labs modules were distributed via Linux package managers, no? I was under the impression you had to download them from github or someth

I don't think the Redis Labs modules were distributed via Linux package managers, no? I was under the impression you had to download them from github or something and install yourself. Redis, which is the whole confusion, has NOT had a license change so Debian and Redhat will continue to have its package as normal. So there's nothing to talk about regarding Debian or Redhat etc and it's all a confusion about Redis open source and specific Redis modules from Redis Labs that were not distributed via Debian or Redhat anyways.