Remove PORT specification, so we get the (correct) default if it changes

(and people haven't copied the fixed port number to dozens of configs
like I did.