I'd take (some friendly) objection with most of what you wrote Lauri, and would be more than happy to try and get to the bottom of some of the variations that you talk about.
12.a4! is certainly an annoyance, but is
likely drawn with best play. That would take a lot of posting and proving, but I'd be interested. FWIW, I have never had a game make it as deep into the depths there to worry me.
If you're worried about 5.b6, 4.Qc2, or 4.Nf3, I suspect you just don't like the Benko at all now. Those are quite palatable in my opinion, with multiple options even.
To start, I'd say that 5.b6 Qxb6! or 5...e6! are about equal, but not 5...d6 6.e4! or 5...g6 6.Qb3!.
And against most of the 4th moves besides 4.a4 Qa5+!, I think Black can even just push past with 4...b4 and play Benoni-like positions with the pawn on b4. People like to claim that with the queenside a bit more closed, White should have better prospects, but after analyzing a bunch I find things to be more complex, as White's development is a bit more awkward as well, and it's not like Qc2 is a very scary move in a Benoni.
Also, I think nowadays people are willing to admit that 2.Nf3 c5 3.d5 b5! is about equal, though Black definitely has to know a few things after, for instance 4.e4!? Nxe4 5.Bd3 Qa5+, etc.
One thing I need to stress about this book again is how poorly it's edited. They
really needed to separate some of this stuff into A/B/C main variations, with A1, A2, etc, and more bold. Perhaps even break some of these chapters into two. It's a real mess to read, as some of the analysis is SUPER deep. In fact, I'd argue it's just way too deep in general. For a correspondence player this might be super useful, but for someone actually trying to digest the material, I think I'd prefer they literally sheared about half of this stuff away. It's wild.