edoc_run(3erl) on Linux

The text 96c0012639d5, as Debian 11 (Bullseye) shipped it.

Interface for calling EDoc from Erlang startup options.

edoc_run(3erl) on Linux now