Huh, I used to use those every day about twenty years ago. But stopped for some reason. Faster connection? Maybe. In the meantime, wget -C works to resume a

Huh, I used to use those every day about twenty years ago. But stopped for some reason. Faster connection? Maybe. In the meantime, wget -C works to resume a download without a fancy program or browser extension.