snmpm_network_interface(3erl) on Linux

The text 72cf80d2da7f, as Debian 10 (Buster) shipped it.

Behaviour module for the SNMP manager network interface.

snmpm_network_interface(3erl) on Linux now