* Theory: Document time_t better and update for POSIX.1-2013.

Change "`" to "'"; these days, "`" and "'" are not symmetric.