Updating HTML docs