Downloader improvements to make downloading more flexible. (And some aggregator and checker improvements along the way).

Configuration files will be handled more consistently.