Excellent. There is so much literature out there and things get watered down that Neander-Do sometimes doesn't get its fair shake when people like me only remember the half truths. The kihup/grunting thing I am bang on about.
I don't get caught up in the politics of TKD like many others. Yes, Happy Birthday to the name Taekwondo for being 52 years old, this is an accomplishment though a small one in the larger picture. I am one of those believers that much of what Taekwondo is comes from the accumulation of years of doing martial arts that has many influences outside and from within Korea. That somebody named it and put a pretty little bow on it does not take from that fact. All of the celestial planets were around a lot longer then any of us but that somebody one day named them doesn't make it them new. Kicks are kicks and punches are punches and by making some new forms/patterns/katas and introducing rules to sparring are probably the most visible changes making Taekwondo different from many other arts and that it what Taekwondo is and should be proud for it. Again it is only a name that even from one school to another is different even if they fly the ITF or WTF or any other organization banner.