It has been a few days, so it has likely sunk in by now: That Josh Hart—a stereotypically mild-mannered, polite, unassuming, balding 42-year-old from Ocala, Florida, who had recently been dismissed by ...