if HTML file has a bare source, can use that as the timestamp