> do we need a use::comparing or use::diffing tag? I could find an > appropriate use tag for diff and friends. Ok, most of them seem to be tagged with use::synchronizing, so this might be the way to go.