On 4/2/2025 1:14 PM, Timon Gehr wrote: > I simply do not understand what goes into the decision-making on this. 1. It's been released 2. There's no way to detect a dependency 3. People get very angry when we break their code 4. We promised not to break existing code And that's pretty much it.