New comment by svat in "How did Cole factor 2^67−1 in 1903?"