On Wed, Aug 31, 2022 at 11:31:19PM +0200, Emanuel Berg wrote: > Gregory Heytings wrote: > > >> But OK, I'll do it ... > > > > You shouldn't follow an advice blindly. > > It seems here one cannot agree but also one cannot > disagree ... I disagree: I would follow that advice blindly .-) Cheers -- t