Redisがライセンスを変更してオープンソースソフトウェアではなくなるもののエンドユーザーには影響なし