You're of the belief that Redis will merge LGPL-licensed commits into their tree?