This is text in the manual, and are not viewed as tests by the users.