ECHO(7) on Linux

The text e3e4da9c27cd, as Debian 4.0 (Etch) shipped it.

Generic output tool

ECHO(7) on Linux now