[dcre]

I think the idea here is that gpt-5-mini is the cheap gpt-4 quality model they want to serve and make money on.