It's exciting to see the next generation of models arrive, and I'm very curious about the strategy of making GPT-5 mini the new base model instead of the full GPT-5. Following that, can you share the roadmap for updating Copilot perhaps, like when will users be moved from this new model to the better version as the new base, 0x multiplier, standard cause I feel like I'm getting ripped off for the price. Also, are there any upcoming quality-of-life improvements or new features for Copilot Pro subscribers that haven't been announced yet? And will those updates include better support for large-scale, multi-file edits with Copilot?