Simplifying a proof of Langlands-Tunnnell Theorem

Question

I read A SIMPLIFIED PROOF OF SERRE’S CONJECTURE recent paper by Luis Victor Dieulefait, Ariel Martín Pacetti to understand the proof of Serre's modularity theorem. According to this paper, the proof of Serre's modularity theorem is used Langlands-Tunnnell Theorem. The proof of Langlands-Tunnnell Theorem need lie group, L group, trace formula and so on. I think that these ingredients and -dral cases used in this proof is slightly redundant. It's been decades since the Langlands-Tunnell Theorem was proven, but is there a simple proof of this?