The text 1df31bdc5aa5, as Debian 10 (Buster) shipped it.
Linux IPv4 ICMP kernel module.
icmp(7) on Linux now
