Hi,

Gnus doesn't parse news URLs correctly if a port number is specified:

news://newsarchiv.arcor.de:119/4213714c$0$24925$9b4e6d93@newsread2.arcor-online.net

Without the port number, it works:

news://newsarchiv.arcor.de/4213714c$0$24925$9b4e6d93@newsread2.arcor-online.net

Is the following patch the right way to fix this?  Especially, I'm
unsure if the let binding of `nntp-port-number' is the right way.
Other suggestions?