URL's `port` is `null` if default value.

[mikewest]

We do some processing on URL's port to shift from 80 to 443. Turns out, 2.1.3 of https://url.spec.whatwg.org/#port-state sets the port to null if it's the default port, so this work is superfluous. We should drop it.