The original definition was
%N A023200 Numbers n such that n and n+4 are prime.
I am going to change it to
%N A023200 Primes p such that p+4 is prime.
I agree that
%N A023200 Primes p such that p and p + 4 are both primes.
made it worse.