I am only new to the world of PrimeGrid, but been a SETI cruncher for years... with a long break in the middle.
Just have one really silly question to ask.... if it ever turns out that I am lucky enough to find a really big prime that makes it onto the top 5000 list for instance, can I;
a) "name" it after someone (my lovey wife, "Sam's Prime") or;
b) give someone else's name as the discoverer?
She is far more deserving of a bit of history than I am... even if it is only obscure math histroy...