how certain is it that these tokens came from this git repo, and not from reddit itself? chatgpt doesn't seem to recognize all of the names in the HoC, and it does know some other redditors such as TPPStreamerBot