Uncomputably large integral points on algebraic plane curves? Supplement to ``Normal del Pezzo surfaces of rank one with log canonical singularities'' by H. Kojima and T. Takahashi [J. Algebra 360 (2012) 53-70] 