*.html: get rid of trailing newline at the end