I have to agree with this. There is a lot of discussion about this proof, and also with the idea that the reasoning that leads to it may reveal new insight.

There is little to gain by lamenting the potential difficulty of verification by pointing out your interpretation of the accessibility of previous famous proof attempts.