time(7) on Linux

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

overview of time

time(7) on Linux now