Where is Grok-2 Mini and Grok-3 (mini)?

I think Elon promised to open source models few months after their release? They're all over 1 year old now. It would be much more useful to release the models immediately upon deployment of the newer version (i.e. Grok 4.2 fast deployed -> release Grok 4.1 fast), now the models are kind of obsolete - but still, I'd like to see more models open sourced by xAI, even if we can't get them on time.