Re: [math-fun] On the existence of Leyland primes with a given number of decimal digits