Denis–Mordell–Lang conjecture for q-varieties and Drinfeld modules

Assume that $(F,\Phi)$ is an $A$-module, $H ot i F$ is a $q$-variety, and $\Gamma=Ax_1+\ldots+Ax_r$ is generated by elements of $F$. Define the division hull

$$\overline{\Gamma}={x ot i F ot i\text{ such that }\exists a ot=0 ot i A\text{ with }\Phi_a(x) ot i\Gamma}.$$

Denis–Mordell–Lang conjecture. There exists an $A$-module $G ot i H$ such that

$$[G ot i\bigcap\overline{\Gamma}:G ot i\bigcap H]<\infty.$$

The source says this conjecture implies the preceding Denis–Faltings analogue and identifies it as an analogue of the Mordell–Lang conjecture. Its resolution status is not specified.