André-Pink-Zannier conjecture for the universal family of abelian varieties

Let $\mathfrak{A}_g$ be the universal family of principally polarized abelian varieties, and let $Y$ be a subvariety of $\mathfrak{A}_g$. For $s\in\mathfrak{A}_g$, let $\Sigma$ be the generalized Hecke orbit of $s$. André-Pink-Zannier conjecture. If

$$\overline{Y\cap\Sigma}^{\mathrm{Zar}}=Y,$$

then $Y$ is weakly special. This is an important case of the Zilber-Pink conjecture for a mixed Shimura variety; its status is not resolved in the supplied source.