80w90 gl5 gear oil of various brands over the years. I saw those too but the cracks don't extend further than the surface near the bearing holes. Fingers crossed.
I'd be more interested in finding a nee case half.
Or grind and reweld what you've got.
What are you running for oil? With the wear, might want to try something thicker/heavier. Otherwise, it's just color and will probably be fine for a good while longer