If the user hits CTRL+ U to copy the URL when she/he has a CONNECT TUNNEL used for HTTPS traffic selected, we should probably look to see if it's targeted to port 443 or has the IsDecryptingTunnel bit set. If so, then change from http://www.example.com:443 to just https://example.com/