Comment 1 for bug 1800291

Jeff, FYI I haven't looked at this problem, but thinking about it very quickly, it seems possible that when you are extending a highlighted net with new wires, the highlighted net name could change (for example if the new wires connect to a higher-priority label) so that will need to be considered in the fix.