On Thu, Nov 14, 2024 at 04:39:28PM +0100, Iustin Pop wrote:
Indeed. But even the comment, by itself, I think raises a question - why
do we (still) do this?

Because there's very little incentive to change it.

Reply via email to