The text 31af6ed41dbf, as Debian 7 (Wheezy) shipped it.
Remove a RIO device from the system
rio_device_remove(9) on Linux now