gnu: hugs: Update urls.