The $A_1$ conjecture for dihedral quasi-Frobenius configurations

Let $(C < G)$ be a definable, connected, quasi-Frobenius pair of finite Morley rank. Suppose that $G$ is $U_2^\perp$ with involutions, and that the configuration is dihedral. The $A_1$ conjecture. Then

$$G \simeq \operatorname{PGL}_2(\mathbb{K}).$$

This conjecture predicts that dihedral quasi-Frobenius configurations arise from the algebraic group of type $A_1$. The source describes this as expected, while no resolution is supplied here.