Correct.

But that congenial/mediocre developer is still taking up a headcount that could hold a congenial/high-performing developer instead. There is also a separate issue where mediocrity discourages high-performers.