The text 15a1eecb13d1, as Debian 9 (Stretch) shipped it.
Dynamic Host Configuration Protocol options
dhcp-options(5) on Linux now
