Comment by cauthon

No, it's just pointing out the colloquialism.

"IRONMAN" and "IRONMAN 70.3" are the official names, even though "full" and "half" are how they're commonly referenced.

"so-called" isn't diminutive or derogatory