Update HTML infrastructure and commit the HTML version.