In retrospect, I think my comment was more disagreeable than it should have been. We're both saying roughly the same thing: that pruning edges makes a graph more efficient.