wget: always print port# in 'Host' header (smaller code)
1 file changed