e_deduction_server(1) on Linux

The text dec851ccd6b3, as Debian 12 (Bookworm) shipped it.

manual page for e_deduction_server 2.6 Floral Guranse

e_deduction_server(1) on Linux now