/// Downloads the exact pinned-version asset directly from the tool's own GitHub
/// Releases (same mechanism as every other platform — see PLAN.md section 20; this
/// is the specific path that avoids needing to pick one Linux package manager, since
/// apt/dnf/pacman aren't interchangeable). Not yet implemented; not runtime-verified
/// regardless, since there is no Linux machine in this environment.