Change Wireshark download to HTTPS