They did indeed, but my understanding is that it was to prevent oil mist blowing out of the outer seal if it pressurises when warm. I wonder if it starves the pinion bearing so I still use the original 220ml in mine, if I get a bit of mist so what, I'll clean it off.
I use 85/140 GL5 Rock Oil in all my gearboxes and bevel drives, I think it has improved the gear changes!