orte_hosts(7) on Linux

The text 72c1cf1e17c5, as Debian 10 (Buster) shipped it.

OpenRTE Hostfile and HOST Behavior: Overview of OpenRTE's support for user-supplied hostfiles and comma-delimited lists of hosts