minor feature: An HTML comment is now insertedbefore the last HTML element with a timestamp of when the page was last generated.