[redox99]

Completely irrelevant, which was expected considering their previous models were vastly outclassed by other models at SWE.

This is the first grok model that seems actually pretty competitive at SWE.