Measuring "PRs per dev" (presumably conditioned on the same unit of time even though what that rate is is very unclear to me whenever this measure is proposed) is really giving "number of patients per doctor's day" I can't be the only person who feels this way