[Hugs-users] ANNOUNCE: new release of Hugs