On 31/08/2019 21:45, Andre McCurdy wrote: > It looks like the User-Agent workaround for libedit might not be > needed any more anyway... > > wget http://thrysoee.dk/editline/libedit-20190324-3.1.tar.gz > > works fine for me ( User-Agent: Wget/1.17.1 (linux-gnu) ) Verified here, patch sent. Ross