The text 73f5f1fcb70f, as Debian 8 (Jessie) shipped it.
Unregister an existing WiMAX device
wimax_dev_rm(9) on Linux now