#dist: add generated HTML