How about if we follow Derek Holt's beautiful argument until we establish the following two facts?

1) $G$ has 10 Sylow 3-subgroups.

2) Let $P_3$ be a Sylow 3-subgroup of $G$. In the action of $G$ on $Syl_3(G)$, every nonidentity element of $P_3$ has cycle type (3,3,3,1).

Since $G$ is simple, the action on $Syl_3(G)$ embeds $G$ in $A_{10}$. In $A_{10}$, no element of type (3,3,3,1) commutes with an element of order two. Thus if $Q$ is a Sylow 2-subgroup of $N_G(P_3)$, no nonidentity element of $Q$ centralizes any nonidentity element of $P_3$. Since $|Q|=8$, it follows that all eight nonidentity elements of $P_3$ are conjugate in $N_G(P_3)$. Therefore, $G$ contains exactly one conjugacy class of elements of order three. Let $g_3$ be an element of this class. No element of order 5 in $A_{10}$ commutes with $g_3$, and it follows now that $|C_G(g_3)|=9$, so $G$ has 80 elements of order 3.

Since 5 does not divide $|N_G(P_3)|$, we see that every element of order 5 in $G$ has cycle type (5,5) in the action on $Syl_3(G)$. Using Sylow's Theorem (and the fact that $G$ is not $S_6$), we see that G has either 16 or 36 Sylow 5-subgroups. Let $P_5$ be a Sylow 5-subgroup of $G$. By Burnside transfer, we cannot have $|N_G(P_5)|=45$. Therefore, $|N_G(P_5)|=20$.
No element of order two in $A_{10}$ commutes with an element of cycle type (5,5). Therefore, $N_G(P_5)$ must induce all of $Aut(P_5)$, so all nonidentity elements of $P_5$ are conjugate in $N_G(P_5)$ and therefore, $G$ has one conjugacy class of elements of order 5. There are 144 such elements. Let $g_5$ be one such element.

Now let us consider the character table of $G$. By the arguments above, each of $g_3$ and $g_5$ are conjugate to all of their nonidentity powers, and it follows that all irreducible characters of G take integer values on $g_3$ and $g_5$. Moreover, these integers have absolute value at most two, as can be seen using the orthonormality conditions on the character table and the sizes of the given conjugacy classes.

Now $N_G(P_3)$ has one more conjugacy class than $Q$ (as defined above). It follows from this that the irreducible characters of $N_G(P_3)$ are those with kernel containing $P_3$ and one more, call it $\chi$. Using orthonormality conditions on the character table, we get $\chi(1)=8$, $\chi(g_3)=-1$ and $\chi(q)=0$ for all $q$ not of order 1 or 3. Induce $\chi$ up to $G$ to get a character $\psi$ that takes the value 80 on 1, -1 on the class of $g_3$ and 0 elsewhere. For any irreducible character $\eta$, the inner product $\langle\psi,\eta\rangle$ is

$$\frac{80(\eta(1)-\eta(g_3))}{720}$$.

It follows that $\eta(1)-\eta(g_3)$ is divisible by 9.

Now $N_G(P_5)=Z_5.Z_4$ has a character $\alpha$ such that $\alpha(1)=4$, $\alpha(g_5)=-1$ and $\alpha(q)=0$ if $q$ does not have order 1 or 5. Induce $\alpha$ up to $G$ to get $\beta$. Arguing as we did with $\psi$, we see that for every irreducible character $\eta$, $\eta(1)-\eta(g_5)$ is divisible by 5.

Now using basic facts about irreducible characters, we see that for any irreducible character $\eta$ of G, the triple $(\eta(1),\eta(g_3),\eta(g_5))$ is one of

$$(1,1,1),(8,-1,-2),(9,0,-1),(10,1,0),(16,-2,1),(18,0,-2) or (20,2,0)$$.

Any class function $\eta$ satisfying $\eta(1)=18$ and $\eta(g_5)=-2$ has norm larger than 1. If $\eta$ is a class function of norm 1 satisfying $\eta(1)=20$ and $\eta(g_3)=2$ then $\eta(q)=0$ for all q not of order 1 or 3. But then the inner product of $\eta$ and the trivial character is positive. Similarly, if $\eta$ has norm 1 and $(\eta(1),\eta(g_3),\eta(g_5))=(8,-1,-2)$ then $\eta$ is zero on all remaining classes and the inner product of $\eta$ and the trivial character is negative. We see now that all nontrivial irreducible characters of $G$ have degree 9, 10, or 16. We get a contradiction when trying to add up squares of these degrees to get 719.

This proof has a clear disadvantage of greater length when compared with the argument of Holt, as clarified beautifully by Greg Kuperberg. However, it has the advantage of alerting us to the important fact that, given a purported simple group $G$, it can be profitable to consider large subgroups of $G$ whose characters we understand, in particular those that are Frobenius groups.