Would need to tweak decoration code so that targets have more control over highlighting. The main benefit is that we can then use `"change type"` with #1631, but it also makes things more consistent
Would need to tweak decoration code so that targets have more control over highlighting.
The main benefit is that we can then use
"change type"with #1631, but it also makes things more consistent