Add documentation to the WithRedis, explaining hooking up