highlight-edges and false labels
Dávid Smolka sent an email on Nov 6, pointing out that when the spot.highlight.edge
property is used in HOAF to color an edge labeled by false, the HOAF parser will silently drop the false edge, altering the edge count, and spot.highlight.edge
will now color the wrong edges.
Either we update spot.highlight.edge
if we drop some edge, or we should not drop edges. I think Dávid's use-case would work either way.