translate redis.md