* doc/xml/manual/intro.xml: Update.