[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.

[throwaway89201]

Nit: it's `wget -c` or `curl -C -`