Update user_manual/introduction.rst