Polygon.intersect() now finds the minimum translation vector.