On Thu, Aug 3, 2023, 07:53 [Quipsy] Markus Karg <karg@quipsy.de> wrote:
David,
thank you for your opinion, so it is a chance for future optimization.
Whether or not this „should not happen“ is a different discussion. 😉
Given that this has come up a number of times over the decades with the same response the practical reality of an optimization are basically zero. You want to patch your own fork then sure, it is technically possible.