The text 4ad840df22bb, as Debian 10 (Buster) shipped it.
execute searches
KinoSearch1::Searcher(3pm) on Linux now
