Hm you're right. I was about to change some parts of the post, but then I realized I should probably take a deeper look into GitHub as a company in a follow up. (I do feel the points I made are still valid, but the wording is probably not, gotta do a revision in the future as well).