More docs for HiRedisProtocol