GitHub engineers: you might want to consider using: traceroute -P tcp -p 443 which will use SYN packets to port 443 instead of the default of using udp on

GitHub engineers: you might want to consider using: traceroute -P tcp -p 443 which will use SYN packets to port 443 instead of the default of using udp on a random high numbered port. and/or: traceroute -I which uses ICMP echo requests. Both syntaxes should be supported on Linux and macOS.