: A reliable mirror for the official installation file is hosted at Note for users

dest_dir_path = Path(dest_dir) dest_dir_path.mkdir(parents=True, exist_ok=True) dest_file = dest_dir_path / Path(file_relative_path).name