__doc__ for welcome()