doc/time.txt: New file