On 16/09/2022 6:16 AM, Timon Gehr wrote: > Anyway, if you want to break everyone's code over this why not just fix > @property so it becomes actually useful instead? I don't, but if something has to go... Better it be something that people out right don't intend to use or know what it does do.