[FOM] What is the current state of the research about proving FLT?

[Arnon Avron]

It is generally agreed that Fermat's last theorem was proved more than 
20 years ago. However, the original proof uses concepts and Means that
go well beyond ZFC. A strong belief has been pronounced here
on FOM more than once that those concepts and means are not really
essential, and that PA (to say nothing about ZFC) should suffice.
(Harvey Friedman has conjectured that even weaker theories 
would do).  About 5 years ago  a real progress  concerning
this issue was announced by C. McLarty: He showed that  no more 
than finite order arithmetics is needed.

My questions:

1) Has McLarty's work and proof been published? If so - where?
   (All I could have found on the intenet is his 2010 paper,
   in which his result stated above is not mentioned.)

2) What is the current state of *knowledge* (not beliefs!)
   about what is needed to prove FLT (assuming that it can
   indeed be proved in acceptable mathematics)?

Arnon Avron