Yes, the point of open source is to share, so that others can take advantage of a solution to a given problem. Redis does not do that.