do-not-embed-timestamps-in-html.diff
