On Wed, Mar 12, 2025, at 19:33, Roman Kisel wrote: > On 3/10/2025 3:18 PM, Michael Kelley wrote: > > That's a minimal extension, its surprise factor is very low. It has not > been seen to cause issues. If no one has strong opinions against that, > I'd send that in V6. > Works for me. Thanks for your detailed explanations. Arnd