The text 85fe13e12434, as Debian 1.3 (Bo) shipped it.
remove an operator from the system
drop_operator(7l) on Linux now
