The text 9940c1e5c54a, as FreeBSD 12.1-RELEASE shipped it.
Introduction to IP packet filtering
ipfilter(4) on FreeBSD now