[dev] A route-map scaling improvement that has just gone in.