Well, a mystery to me, at least. Took the driving flange and oil seal retainer off of the original differential, and all appeared as the manual said it would - shims, bearing and washer for the bearing. Then, the same for the replacement: but this time it's different. No shims, a shorter bearing, and attached to the bearing (I think it's attached - doesn't come off by hand, but haven't tried anything harder) is what I assume is an extension. I'll have to ask around and see if this is just a development over the life of the design. Always something new!
This view, a differential as per the Manual:
And this view, the different setup I don't have a reference for: