Update introduction in the documentation.