e_deduction_server(1) on Linux

The text 85c56c7360b1, as Debian 13 (Trixie) shipped it. The page shows this text now.

manual page for e_deduction_server 3.2.5 Puttabong Moondrop