I guess we have a difference of viewpoint of what following or followers were! It is clear that the CDK was at the meeting in the mid 1950s that decided on the name TKD, which of course was put forth by Gen Choi, so in essence or in a way they followed him.
At the 1954 demonstration in front of President Rhee, it was he who exclaimed "That's Taekkyon". From there came the effort to find hanmoon characters for Taekkyon. For course there wasn't any, so they went with Taekwon instead. Had there been hanmoon characters for Taekkyon, would General Choi still taken credit for the name? In fact it was the President of Korea who started all that and it was the President who approved the name. So the Chung Do Kwan and GM Son was following what President Rhee wanted, given his nationalistic position. Everyone was following President Rhee's lead, including General Choi. This is what GM HONG Jong Pyo meant when he said General Choi was trying to kiss up to President Rhee with the Chang Hon forms.
Gen choi, because of his powerful position in the military, which by the way, history teaches us that in developing countries, often plays a vitally important role. This was of course the case in south Korea. So again we see how they did look to him for the support he was able to provide. They followed him in 1959 when he took many of them abroad when they demonstrated aspects his TKD there.
Everyone who went to Vietnam in 1959 were in the ROK military.
They had instructors under him teaching in the military & 2 or 3 prominent members of the CDK have high profile places in his 1959 book. So while GMs Uhm Won Kyu & Nam Tae Hi wanted the name TKD in 1961, it was GM Uhm that embraced the name Tae Soo Do, even using it on the CDK literature & certificates up till at least 1965.
That cuts against your position that the Chung Do Kwan "followed" General Choi, since the Chung Do Kwan used the name Taesoodo during the Taesoodo period.
So yes, Gen Choi came up with the name TKD & it was only those in the ODK & those from the CDK that were loyal to him, follwoed him or needed him for some aspect, that actually used the name TKD.
You add nothing to the discussion and only say the same thing over and over in all your posts. So what if General Choi came up with the name, if he did? And he doesn't say that by the way in his 1965 book, all he says is that he proposed the name, not that he created it.
Another point which you fail to recognize or acknowledge is the fact that the Oh Do Kwan did not follow General Choi but instead they were represented in the KTA committee which created the Palgwae, Taeguek and Yudanja poomsae. GM HYUN Jong Myung, who was Oh Do Kwan Jang at the time, was the representative on that KTA committee. Even now, the Oh Do Kwan still exists and they advocate the Kukkiwon poomsae, not the Chang Hon Tul.
Thirty years ago, most Taekwondoin knew the name General Choi, through his books. Today, less know his name, and tomorrow, no one will know who he is. I realize you don't want that to happen, but that is the direction in which the Taekwondo world is moving. And it's probably for the best.