gnu: polyml: Use HTTPS home page URI.