Least deserving names in opening credits

It also might be due to his role getting grandfathered in from the British version, in which it is bigger than any of the other random office people. And I can certainly imagine that once he is in the opening credits, he can not be removed, either for contractual reasons or just because it would seem like a slap in the face.

But your basic point is certainly sound.