[gwern]

> I interpret it as meaning that there is not necessarily any tradeoff, as there wasn't in this case.

They haven't shown that there is no tradeoff, either in general or in this case.