drop_language(7l) on Linux

The text 13409d8d8ecd, as Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it.

remove a user-defined procedural language

drop_language(7l) on Linux now