First time here? Check out the FAQ!
answered 2013-09-07 13:15:39 +0100
IIRC, the default port was changed in keeping with the official/unofficial suggestions for port numbers. See Wikipedia :)