Newelski's ideal-subgroup restriction conjecture

Let $M\prec^*N$ be a $*$-elementary extension, meaning that $N$ is obtained from an elementary extension of $M_{ext}$ in the language $\mathcal{L}_{ext,M}$ by reduct to the original language. Let $G$ be an $M$-definable group, and consider the Ellis semigroups of the flows $S_{ext,G}(M)$ and $S_{ext,G}(N)$. An ideal subgroup is a group of the form $u*I$, where $I$ is a minimal ideal and $u$ is an idempotent in $I$. Newelski's ideal-subgroup restriction conjecture. There is an ideal subgroup in $S_{ext,G}(N)$ whose restriction to $M$ is an ideal subgroup in $S_{ext,G}(M)$.

This is proposed as a solution to the problem of constructing the model-independence isomorphism. The supplied material gives no resolution status.