Simplify the interface of the distribution downloader preferences.