Manpage: mention the probability that a test is run