startDownload

fun startDownload(name: String, feature: Feature)

Download feature, which is either a manifest entry the user picked from the nearby list, or - when they pressed "Update" - the entry a downloaded extract was originally fetched with. In the latter case its filename carries the build prefix of whichever manifest it came from, and that build has usually been replaced on the server by now, so the download is always made against the current manifest entry where there is one.