On Thursday, 23 January 2025 at 03:04:45 UTC, Quirin Schroll wrote: > Anyway, thank you for the suggestion. I think unless you or > someone else can come up with some good counter-points or other > arguments, I’ll likely not integrate it. I don’t think I have a better argument. :)