Since they don't calculate the upper 128-bits of the product, they use only 3 multiplications anyway.

You are right. Not sure how I missed/forgot that. In fact, I think the entire reason I was reminded of the algorithm was because I saw the words "3 multiplications" in the article in the first place. Perhaps I need more coffee...