doc/time.txt: Add header