modified:   redis.rst