The Fermat-Catalan conjecture is that for coprime $x,y,z$ and positive integers $a,b,c$ with $1/a+1/b+1/c<1$, the generalized Fermat equation $x^a + y^b = z^c$ has only finitely many solutions. I'm considering signatures $(a,b,c)$ which are solved.
Table 1 of [BCDY] surveys known results and states that $(2,n,4)$, $n\ge4$ has been solved completely and that this is 'Immediate from Bennett–Skinner [BS], Bruin [Br3]'. [Br3] covers the case $n=5$. Fermat dealt with $n=4$.
This leaves $n=6, 9$ and prime $n\ge7$, but I can't see how [BS] is relevant to that. Can someone explain and/or point me to the relevant part of [BS].
[BCDY] 'Generalized Fermat equations: A miscellany', Bennett, Chen, Dahmen, Yazdani, International Journal of Number Theory, Vol. 11, No. 1 (2015)
[BS] 'Ternary Diophantine Equations via Galois Representations and Modular Forms', Bennett, Skinner, Canad. J. Math. Vol. 56(1), 2004 p23-54.
[Br3] 'Chabauty methods using elliptic curves', Bruin, J.reine angew. Math. 562 (2003), 27-49.
Note: This question was originally posted in MSE on 2020-07-03. It's had some upvotes, but no answers as of 2020-08-24.