// Really old (~API 10) DownloadManager cannot handle https at all.
// Work around both with in one.
String altUrl = downloadUrl.replace("https://github.com/rdoeffinger/Dictionary/releases/download/v0.2-dictionaries/", "http://ffmpeg.org/~reimar/dict/");
// Really old (~API 10) DownloadManager cannot handle https at all.
// Work around both with in one.
String altUrl = downloadUrl.replace("https://github.com/rdoeffinger/Dictionary/releases/download/v0.2-dictionaries/", "http://ffmpeg.org/~reimar/dict/");