manual: add some introductory text