On Wed, May 25, 2022 at 07:11:16AM +0300, Dmitry Selyutin wrote: > It seems GMail smashed the addresses for some reason, effectively No, that was me. I did bounce a second email with the addresses fixed. -- Alan Modra Australia Development Lab, IBM