updated HTML manuals