Propagate manual change to html version.