I'm just wondering if wget is essentially redundant, given the combined
capability of httrack and curl. Anyone?