After changing its license, Redis drops its biggest release yet ...