time.h(3avr) on Linux

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

time.h(3avr) on Linux now