[chatmasta]

Maybe a useful tip: you can resume paused Chrome download files with wget -c

https://gist.github.com/milesrichardson/ca0d2b25baa8a0374910...

[Jugurtha]

Thank you. I'm aware of that. It's more work to delegate to one tool I know will often fail me and fall back on a second tool than to use the second tool in the first place.