[AlexCoventry]

It's not clear to me that anyone really cares about Mersenne primes, either, which is not to detract from this cool result in any way.