idr_remove(9) on Linux

The text 99bd46330d23, as Debian 9 (Stretch) shipped it. The page shows this text now.

remove the given id and free its slot

idr_remove(9) on Linux now