This is something one might need to do regularly. I need to because wget often creates multiple index.html@* files despite being set up not to (my GUI for wget might forget configs.. who knows?) I’m left with a couple of hundred folders with 6 html files each which to me is quite irritating. So...