> It simply dismisses with a wink and a nod the idea that there might be one single counterexample out there for one single exponent (or, a finite number of counterexamples for a finite number of exponents). In other words, it does nothing to argue against the set of counterexamples being of measure 0.

Those "other words" are substantially weaker than the statement before them. If x^n + y^n equaled z^n for every integer x, y, z, and n, the set of counterexamples to Fermat's last theorem would still be of measure 0. Nothing can argue against the set of counterexamples being of measure 0, because the entire problem space itself has measure 0, and the set of counterexamples is necessarily a subset of the problem space.