Convergence Analysis of the Algorithm in "Efficient and Robust Discrete Conformal Equivalence with Boundary"