MugaSofer comments on Yes, Virginia, You Can Be 99.99% (Or More!) Certain That 53 Is Prime