The problem was not so much with spelling as it was with the aggressiveness of this intro.
Beyond the aggressiveness, the idea that TL;DR is bad or impossible is disputable. Everything can be TL;DRed, as long as it has a point. And in any case it's bad practice to "bury the lead".