Document `find_pat` vs `select`

std++ has find_pat and select, which have basically the same signature and very similar (but not identical) behavior. It would be good if the docs of one of these tactics explicitly called out the differences to the others.