update doc/introduction.txt