That URL does not substantiate any claim by anyone that FLT was trivial to prove.