Comment by mixmastamyk

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.