Documentation: update the introductory section