Man pages matching name random_prime in section 1000: