find-all-symbols-13(1) on Linux

The text ce9c06e59012, as Debian 12 (Bookworm) shipped it. The page shows this text now.

manual page for find-all-symbols 13

find-all-symbols-13(1) on Linux now