Am 13.01.2019 um 21:06 schrieb jr:
>> I have no idea what a "'wget'able" URL is, but maybe this one qualifies:> > "man 1 wget", or "curl". command-line tools to fetch stuff.
Heh, don't expect me to know about any of that; I'm a Windows jockey and
mouse pusher ;)