Well, it's pretty common to have a generic name for your corporation. No one but their lawyers ever really knew about that name. I'm saying that I think they could actually build a corporate brand separate from GitHub.