Agree with Batalov; for proving primality of M_p, since the full factorization of M_p + 1 is trivial, we do not gain anything from the factorization of M_p - 1.
Of course, it may be fun to find the factorization anyway;
here is a factordb query for tiny examples.
/JeppeSN