Text this: A hypothetical way to compute an upper bound for the heights of solutions of a Diophantine equation with a finite number of solutions