Update redis.html