Mirror manual changes into HTML pages.