fn extract_iso_name_from_url(url: &str) -> &'static str
Extract ISO filename from URL. Returns the last path component, or “download.iso” if none found.