The finitely generated Drinfeld-module Siegel conjecture for integral points

Let $K$ be a global function field, let $M_K$ be its set of places, let $S\subseteq M_K$ be finite, and let $\phi$ be a Drinfeld module over $K$. A point $\gamma$ is $S$-integral for $\alpha$ if it satisfies the corresponding $S$-integrality condition relative to $\alpha$. The finitely generated Drinfeld-module Siegel conjecture. Let $\alpha$ be any point in $\mathbb{G}_a(\overline K)$, and let $\Gamma$ be any finitely generated $\phi$-submodule of $\mathbb{G}_a(\overline K)$. Then there are finitely many $\gamma\in\Gamma$ such that $\gamma$ is $S$-integral for $\alpha$.

This asks for a finiteness theorem extending the preceding corollary from torsion points to finitely generated Drinfeld-module submodules. The source presents it as a further question and gives no resolution status.