Tor is actually both the free software and the network, as different
entities. But let's simplify this and only talk about the network here.