[MM3-users] Re: Treatment of hostname in /etc/hosts [was: Splitting hosts ...]