Update htmlintro.html