diff --git a/config_help.md b/config_help.md
index 0ed201e..276cf8e 100644
--- a/config_help.md
+++ b/config_help.md
@@ -11,7 +11,7 @@
 Input specifications
 --------------------
 
-These are of the form: `[type:filename:num]`
+These are of the form: `[type:filename:num]` (the `[]` are delimiters)
 
 `type` is mandatory, and must be one of `a`/`audio`, `v`/`video`, or `f`/`frame`. Audio and video inputs are self-explanatory. Frame inputs are special type of video input based on a single still image, which could be from a JPEG image (preferred), or automatically extracted from a video source or PDF. You need to specify a frame number for the latter (see below).
 
@@ -23,7 +23,7 @@
 Time specifications
 -------------------
 
-These are normally just a sequence of timestamps, representing punch in and punch out times. Timestamps are in `HH:MM:SS[.ccc]` format. `HH` and `MM` are currently mandatory, but this will change soon to allow more flexibility. The punch out time for a segment *must* be later than the punch in time, but otherwise you can list timestamps in any order. However, we recommend listing them chronologically for the sake of sanity!
+These are normally just a sequence of timestamps, representing punch in and punch out times. Timestamps are in `hh:mm:ss.fff` format. Seconds (`ss`) are the only required component. Components can have any number of digits, but the fractional part (`fff`) is truncated to millisecond resolution. This provides considerable flexibility in specifying times, e.g., you can specify 90 minutes as `1:30:00`, `90:00`, or even just `5400`. The punch out time for a segment *must* be later than the punch in time, but otherwise you can list timestamps in any order. However, we recommend listing them chronologically for the sake of sanity!
 
 If you provide no timestamps, then the script will generate one segment punching in at 0 and punching out at the end of the input. If you provide an even number of timestamps, each pair of timestamps (*t₁*, *t₂*) will generate a new segment punching in at *t₁* and punching out at *t₂*. If you provide an odd number of timestamps, each pair of timestamps will generate segments as above, plus one final segment punching in at the last timestamp and punching out at the end of the input.
 
@@ -49,8 +49,8 @@
 ```
 # Segment the video and audio, skipping irrelevant parts at the start and
 # end, and five minutes in the middle.
-[a] 00:01:35.000 00:25:00.000 00:30:00.000 00:54:27.000
-[v] 00:00:17.000 00:23:42.000 00:28:42.000 00:53:09.000
+[a] 1:35 25:00 30:00 54:27
+[v] 0:17 23:42 28:42 53:09
 ```
 
 ```
@@ -58,51 +58,51 @@
 # filler.wav. Split video into two corresponding segments, separated
 # by a filler frame generated by repeating the last frame of the first
 # video segment for the same duration as filler.wav.
-[a] 00:01:53.000 00:23:15.000
+[a] 1:53 23:15
 [a:filler.wav]
-[a] 00:49:42.000 00:50:25.000
+[a] 49:42 50:25
 
-[v] 00:02:15.000 00:23:37.000
+[v] 2:15 23:37
 [f:^:last] @filler.wav
-[v] 00:50:04.000 00:50:47.000
+[v] 50:04 50:47
 ```
 
 ```
 # Stitch a collection of individual JPEG slide images together with the
-# recorded audio. Notice that the punch in and punch out times for the
-# audio correspond to the punch in time of the first frame, and the
-# punch out time of the last frame, respectively.
-[a:audio.wav] 00:07:59.000 00:53:27.000
-[f:slide-000.jpg] 00:07:59.000 00:08:46.000
-[f:slide-001.jpg] 00:08:46.000 00:10:28.000
-[f:slide-002.jpg] 00:10:28.000 00:12:19.000
-[f:slide-003.jpg] 00:12:19.000 00:13:53.000
-[f:slide-004.jpg] 00:13:53.000 00:14:26.000
-[f:slide-005.jpg] 00:14:26.000 00:16:22.000
-[f:slide-006.jpg] 00:16:22.000 00:20:16.000
-[f:slide-007.jpg] 00:20:16.000 00:20:50.000
-[f:slide-008.jpg] 00:20:50.000 00:22:32.000
-[f:slide-009.jpg] 00:22:32.000 00:22:49.000
-[f:slide-010.jpg] 00:22:49.000 00:25:59.000
-[f:slide-011.jpg] 00:25:59.000 00:26:25.000
-[f:slide-012.jpg] 00:26:25.000 00:25:50.000
-[f:slide-012.jpg] 00:00:00.000 00:00:05.000
-[f:slide-013.jpg] 00:53:00.000 00:53:27.000
+# recorded audio. Notice that the four times for the audio correspond
+# to the punch in time of the first frame, the punch out time of the
+# second-last frame, the punch in time of the last frame, and the punch
+# out time of the last frame, respectively.
+[a:audio.wav] 7:59 25:50 53:00 53:27
+[f:slide-000.jpg] 7:59 8:46
+[f:slide-001.jpg] 8:46 10:28
+[f:slide-002.jpg] 10:28 12:19
+[f:slide-003.jpg] 12:19 13:53
+[f:slide-004.jpg] 13:53 14:26
+[f:slide-005.jpg] 14:26 16:22
+[f:slide-006.jpg] 16:22 20:16
+[f:slide-007.jpg] 20:16 20:50
+[f:slide-008.jpg] 20:50 22:32
+[f:slide-009.jpg] 22:32 22:49
+[f:slide-010.jpg] 22:49 25:59
+[f:slide-011.jpg] 25:59 26:25
+[f:slide-012.jpg] 26:25 25:50
+[f:slide-013.jpg] 53:00 53:27
 ```
 
 ```
 # Extract slide images from a PDF and merge with the recorded audio.
-[a] 00:00:04.000 00:26:33.000
-[f:slides.pdf:0] 00:00:04.000 00:03:39.000
-[f:slides.pdf:1] 00:03:39.000 00:09:14.000
-[f:slides.pdf:2] 00:09:14.000 00:13:58.000
-[f:slides.pdf:3] 00:13:58.000 00:17:05.000
-[f:slides.pdf:4] 00:17:05.000 00:17:13.000
-[f:slides.pdf:5] 00:17:13.000 00:17:22.000
-[f:slides.pdf:6] 00:17:22.000 00:17:28.000
-[f:slides.pdf:7] 00:17:28.000 00:21:25.000
-[f:slides.pdf:8] 00:21:25.000 00:24:04.000
-[f:slides.pdf:9] 00:24:04.000 00:24:07.000
-[f:slides.pdf:10] 00:24:07.000 00:26:17.000
-[f:slides.pdf:11] 00:26:17.000 00:26:33.000
+[a] 0:04 26:33
+[f:slides.pdf:0] 0:04 3:39
+[f:slides.pdf:1] 3:39 9:14
+[f:slides.pdf:2] 9:14 13:58
+[f:slides.pdf:3] 13:58 17:05
+[f:slides.pdf:4] 17:05 17:13
+[f:slides.pdf:5] 17:13 17:22
+[f:slides.pdf:6] 17:22 17:28
+[f:slides.pdf:7] 17:28 21:25
+[f:slides.pdf:8] 21:25 24:04
+[f:slides.pdf:9] 24:04 24:07
+[f:slides.pdf:10] 24:07 26:17
+[f:slides.pdf:11] 26:17 26:33
 ```