I'm well aware of that.TKD didn't have a founder. It was synthesized from the training an experiences of a lot of people.
This is the part that I was talking about; there was a fairly prominent effort at the outset to tie taekwondo to pre-occupation KMA and to obfuscate any non Korean elements in its origin. This was not the case when Choi founded hapkido.Some of whom wanted to tie their new art to ancient times (for many reasons) and some who did not.
Having said that, I have seen more than a few dojang websites that talk about "hapkido in ancient Korea," usually retrofitting the term, "hapkido" to describe grappling of pretty much any kind that is taught in their school.