To be fair, exact quote is: "For extreme pushing we recommend Ilford HP5+ at EI 2400 or 3200, processed in Ilford DDX 1+4 for 18 minutes at 75F."
The precision is important for the discussion, as not everybody has the same definition of "extreme pushing".
They suggest HP5+ after a short discussion about the post-2007 version of Tri-X having a poorer performance when pushed beyond 800 as the older version, and about T-grain filmed being better suited for pulling than pushing.
Also note that nowhere do they say "best." Only "recommend," and that they find DD-X is superior to D-76 for extreme pushing (their emphasis).
They also suggest two non-commercial (or no longer commercialized) developers for speed increasing, Acuspeed (FX 20) and Perfection XR-1, for which the formulas are given.