[Hugs-users] changing the hugs version numbering scheme?