Update manual/introduction.rst