After recalling the statement of Fermat's Last Theorem, I will summarize the proof of the theorem that was finalized by Wiles+Taylor--Wiles in 1994 and published in 1995. Then I will recount some of the progress in the general subject ("modularity") since 1995 and discuss the possibility of streamlining the proof that is now a quarter-century old.