Mention the --omit-dir-times option.