Is there a valid reason that /tools include a Debian install artifact for Wireshark?

Should we not instead to referring to https://www.wireshark.org/ for latest version, and update OpenCSMP instructions accordingly?