Is it the case that upon exploring stars and planets that are indicated as being "unexplored" when encountering and getting close enough that the name appears. the name (somehow pre-established?) is sent to some Horizons server that records the exploration then displays the name of such body to other travelers when visiting such heavenly bodies? And, what's with the obvious non-human names of those that "first discovered by" that appear in the info tab of those bodies? Is it like some NPC went walkabout trolling through the galaxy just to have their NPC names applied as first discoverers? What's up with that?