user(3erl) on Linux

The text ed8c7c6dde7a, as Debian 8 (Jessie) shipped it.

Standard I/O Server

user(3erl) on Linux now