Michael Howell 2cdec46275 docs: remove colon from time header
It's not used anywhere else; the inconsistency is weird.
2023-01-28 16:07:34 -07:00
..
2023-01-28 16:07:34 -07:00