Add a doc string to display-time-string