In particular, highlight net on an already highlighted net clears highlight. Fixes #11016 (cherry picked from commit e36491f2)
mentioned in issue #15150 (closed)