IPv6 address/port format

[Haisang Wu]

How about this: 
   We still use / in the routing case and in the dir case. : and . should
still be used in IPv6 address format. But when we express port, we use []
to include the IPv6 addresses or even domain name, other syntax kept the 
same as now.
   for instance, the following are expressed in tranditional ways:
   www.ipv6.net  --->  3ffe:1ce1:xxx:xxxx:xxx:xxxx:xxxx:xxxx
   10.20.30.40 ---> (mapping IPv6)   ::10.20.30.40                                                            54.2
                                     ::ffff:10.20.30.40
                                     ::xxxx:xxxx
                                     ::ffff:xxxx:xxxx
   but for port 80 on www.ipv6.net, 
   use [www.ipv6.net]:80
       [3ffe:1ce1:xxx:xxxx:xxxx:xxxx:xxxx:xxxx]:80
   and for urls: http://[..v6 address..]:port/dir/dir.....

   
> 
> Since we're tossing suggestions around, how about putting the service
> number is square brackets.  I can't think of a place where that would
> hurt us (except at the Unix shell prompt).  Something like
> 3ffe:1ce1:0:b5::1[1019] would be doable....
> 
> Another suggestion would be to reverse the IPv4 semantics for dotted
> quad:service.  For example, "3ffe:1ce1:0:b5::1.1019" might work.  Since
> there are no valid v4 addresses in the 0.0.0.x or 0.0.1.x blocks, we
> wouldn't even have to worry about 32 bit v4 address representations. 
> Without at least one more '.', it's fairly obvious that the suffix isn't
> an address component.
> 
>