Using the Internet without IPv4 connectivity