The only public record I've seen him talking about it was in https://github.com/valkey-io/valkey/issues/544, where he mentioned having sold the copyright.