Who exactly would continue the development in this case? Weren't Redis Labs the biggest contributor here?