Something notable about President Trump: he is a fighter but also a pragmatist. He does not hold grudges.
Right on.
Time for a few folks, here, to move on down the road and get over that bump.
Bigger fish to fry, right now.