They seem to use the idea of getting quadratic growth in the height of rational points of a rank one elliptic curve that we introduce in this problem with Natalia and Xavier (ref [22]). I really need to see the details of this!