Exel's Effros–Hahn conjecture for Steinberg algebras

Let $K$ be a field, let $\mathcal{G}$ be an ample groupoid, and let $u\in\mathcal{G}^{(0)}$. Write $A_K(\mathcal{G})$ for the Steinberg algebra, $\mathcal{G}_u$ for the isotropy group at $u$, and, for a left $K\mathcal{G}_u$-module $M$, write

$$\operatorname{Ind}_u(M)=KL_u\otimes_{K\mathcal{G}_u}M.$$

Here $L_u=s^{-1}(u)$ and $I$ is a primitive ideal of $A_K(\mathcal{G})$. Exel's Effros–Hahn conjecture. Then

$$I=\operatorname{Ann}_{A_K(\mathcal{G})}(\operatorname{Ind}_u(M))$$

for some $u\in\mathcal{G}^{(0)}$ and some simple left $K\mathcal{G}_u$-module $M$. The conjecture is the Steinberg-algebra analogue of the Effros–Hahn conjecture, which asserts that primitive ideals arise by induction from isotropy data. The source records this as a conjecture proposed by R. Exel at the 2014 PARS meeting; its status is not established in the supplied text.