R.G. wrote:
You don't need to crop it out - just tone it down a bit. If you use the Highlights slider the selection doesn't have to be precise because the darker area won't be affected much by that adjustment, if at all. If necessary, duplicate the adjustment. Cropping puts the puddle too close to the edge.
I agree.