That predates AGPL Redis, so doesn't sound like what I was talking about. Sounds more like a custom license given to Microsoft only.