Justification for ADVI convergence criterion?

Thank you very much Maxim!