The text b057385c1c7e, as Debian 7 (Wheezy) shipped it.
Unregister an existing WiMAX device
wimax_dev_rm(9) on Linux now
