To be fair, I'm not sure there's ever been a community so focused on the differences as to bother with the credits. Not that the credits aren't a part of the film, but they are the part people find the least interesting/important. So I'm not surprised no one's documented this before...
but I'm glad it's happened.