Andrew Wiles' Proof of Fermat's Last Theorem, As Expected, Does Not Require a Large Cardinal Axiom. A Discussion of Colin McLarty's "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic". (arXiv:2309.07151v1 [math.LO]) http://arxiv.org/abs/2309.07151