[Hugs-users] WinHugs: Implementation and user interface