But they are not sufficient to get
Protocols.HTTP.get_url("http://ipv6.google.com/something/")
to work.
Ok, true. So you'd want open_socket() to take extra parameters for the target machine's address and resolve that internally? How did the people implementing v6 support in Pike 7.7 intend it to work?