Re: [math-fun] primes in pi; buried cable