Re: [Hugs-users] readline library?