edoc_run(3erl) on Linux

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

Interface for calling EDoc from Erlang startup options.

edoc_run(3erl) on Linux now