Re: [network] getAddrInfo: invalid haddock (+ patch)