Whether it’s true or not, it will be awkward when DeSantis has to walk this back at the convention in his endorsement speech for Trump.
It won't be awkward at all. DeSantis, as well as his supporters, understand that Trump, for all of his faults, is still far better than any Democrat. After the primaries, DeSantis will endorse the (R) candidate regardless of who it is. And if it's Trump, he will endorse him without reservation.
It'll be Trump, should he lose the primaries, who will either endorse the Democrat (as he did in Georgia) or run a kamikaze third party campaign to burn the whole place down and send even more Democrats to Washington.