eprover(1) on Linux

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

manual page for E 2.6 Floral Guranse (8e8bfa2a3f682a4a7d96975eaa7b1133c4267b13)

eprover(1) on Linux now