Clausen's étale-local light profiniteness conjecture for smooth p-adic analytic Artin stacks

Let $X$ be a smooth $p$-adic analytic Artin stack, and let $L(X)$ denote its associated light condensed anima. Clausen's conjecture. Étale-locally, $L(X)$ is a light profinite anima. The paper's abstract states that this conjecture is proved, via reductions to a compact Hausdorff groupoid case and a result on profinite families of finite groups; consequently, smooth $p$-adic analytic Artin stacks are $!$-good.