editline(3edit) on Linux

The text 94f8163697a0, as Debian 11 (Bullseye), Debian 10 (Buster) shipped it.

line editor, history and tokenization functions

editline(3edit) on Linux now