Time I think to revisit the debate: set r_frobIgnoreDepth to 0 by default?  I say yes, please!  I see nothing wrong with the new frob highlight with this setting, and I think there are a lot of words above to the effect that 1 is troublesome.
    • Like
    2