orte_hosts(7) on Linux

The text fa4e6db10e5b, as Debian 7 (Wheezy) shipped it.

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