Re: [Hugs-users] Comparing TRex records