Improved shared_port docs with respect to configuration of the port number. #3478