The text 5ad6c0ae79b9, as Debian 10 (Buster) shipped it.
manual page for find-all-symbols 11
find-all-symbols-11(1) on Linux now
