On 12/05/2025 7:58 AM, Timon Gehr wrote: > It's all been relentlessly negative. > > Well, sorry, this is not fun for me. It has long since crossed over into "just implement it" territory for energy reasons for me.