remove timestamp in html file

git does not consider file changed since the timestamp line was the only
one to be changed