semanage_seuser_del_local(3) on Linux

The text ccc302ba5e16, as Debian 4.0 (Etch) shipped it.

semanage_seuser_del_local(3) on Linux now