Re: [Hugs] #2: User's Guide entry for WinHugs