# ghc-network-uri GHC network-uri: URI manipulation.