Update htmlIntroduction.html