*.html: regenerate pretty html