Re: encoding of etc/HELLO