It’s not being pedantic.

The parent comments are arguing that 17million for git 2.0 is insane because Linux wrote the original in a week.

Except that’s not true. He sketched out a proof of concept in a week. Then handed it off to a team of maintainers who worked on it for the next two decades.

It’s also not pedantic because Linus himself makes this distinction. He doesn’t say he coded Git and specifically corrects people in interviews when they this.