Renault's essential freeness conjecture for reduced crossed products

Let $(A,G)$ be a C*-dynamical system with $G$ discrete. The action of $G$ on the spectrum $\widehat{A}$ is called essentially free if, for every closed invariant subset $Y\subseteq\widehat{A}$, the points in $Y$ with trivial isotropy are dense in $Y$. Renault's essential freeness conjecture. If the action of $G$ on $\widehat{A}$ is essentially free, then $A$ separates the ideals in the reduced crossed product $A\rtimes_r G$. The claim would characterize essential freeness as sufficient for ideal separation in reduced crossed products, extending the role of topological freeness beyond the amenable or abelian settings. The supplied text attributes the claim to Renault and gives no resolution.