On Thu, Aug 17, 2023 at 10:06:58AM -0700, Patrick wrote: > Just to be really clear, the filter in `interactive.diffFilter` is > meant as a filter for transforming (think a photo filter), as opposed > to a filter that removes elements, correct? I think that's what I got > tripped up on when you explained the first two times. Yes, exactly. In retrospect, the name is a little ambiguous. :) Glad you've figured it out. -Peff
