Connect to server failed; check $P4PORT. Rainer updated the master DNS, but it'll take a day or two for the change to propagate. So may have to use P4PORT=comedy.dante.de:1666 for now (I did). Thanks for doing the switch, Rainer.