> Unless deletion is pointless because they will get
> redownloaded anyway?
You should be able to delete these folders, but next time you update the
mirror, the files will be downloaded again (unless you add proper scan rules)