Re: [Ciao-users] Non-emacs Ciao users