From the details that have come out about him already I would be surprised if he wasn’t referred as that before. It is actually a pretty common “nickname” for kids that don’t fit in even when they don’t have hunting as a main personality trait already.
GitLab has such a strong work from home culture that I wish more companies would adopt, I hope they don’t lose that if they’re sold.