Re: [Hugs-users] Print version and quit