use *.html file timestamp, even when editing *.md file