Prime Decomposition of 9th Fermat Number/Historical Note

Historical Note on Prime Decomposition of 9th Fermat Number
reports in his of $1997$ that this factorisation was accomplished by  and  in $1990$.

The author of this page performed this exercise in $2020$ using a factorisation tool freely available online, running on a machine of modest specifications.

It took