report 1807: fixed index.html for introduction section.