Trump has dialed it back so its now a non issue.
I am pleased. It seems like Carson is willing to forgive, and so should I. (I am not voting for Carson, but I appreciate his graciousness.)