$F_2 \times F_2$ is Incoherent -- A Polite Spectral Sequence Computation

Yesterday I watched my friend Jialin Wang defend her thesis, and as part of her background section she mentioned that the group $F_2 \times F_2$ is incoherent in the sense that it has a subgroup that’s finitely generated and not finitely presented. I was curious how one might prove something like this, and in the original paper (Stallings’s Coherence of 3-Manifolds Fundamental Groups ) this fact…