change to default value of NEGOTIATOR_USE_WEIGHTED_DEMAND is now documented
 #4238