> A large prime is notable and hence is included in public databases.
It is verifiably true that these public databases exist (bigprimes.net)
I'm not sure what you're arguing here.
The example site you gave bigprimes.net has one main database, that includes the first 1.4 billion primes. These are all much smaller than the illegal primes mentioned on the wikipedia page (they have at most 11 digits, whereas the ones mentioned on wikipedia have 1000s of digits). It also has a list of the Mersenne primes, which are the largest known primes. The largest has 23249425 digits.
So primes with 11 digits or fewer are notable (because they are small), and primes with 23249425 digits or more are notable (because they are large), but primes with around 2000 digits are not notable.
> Carmody created a 1905-digit prime, of the form k·256211 + 99, that was the tenth largest prime found using ECPP, a remarkable achievement by itself and worthy of being published on the lists of the highest prime numbers.
