@manawyrm I still have vivid, painful memories of "huge" failed downloads back in the day. I totally forgot that some ISPs billed by the minute!