Colmez–Gilles–Nizioł geometric duality for pro-étale cohomology

Let $K$ be a finite extension of ${\bf Q}_p$, let $Y$ be a smooth partially proper rigid analytic variety over $K$ of dimension $d$, and let ${\mathbb R}_{\operatorname{pro\acute{e}t},*}(Y_C,{\bf Q}_p(r))$ denote the TVS-valued complexes representing pro-étale cohomology and its compactly supported variant. Geometric duality conjecture. There is a natural duality quasi-isomorphism in the TVS category

$${\mathbb R}_{\operatorname{pro\acute{e}t}}(Y_C,{\bf Q}_p)\simeq {\rm R}{\cal Hom}_{\rm TVS}({\mathbb R}_{\operatorname{pro\acute{e}t},c}(Y_C,{\bf Q}_p(d))[2d],{\bf Q}_p).$$

The source states that this conjecture is now a theorem, with proofs by Anschütz–Le Bras–Mann and Colmez–Gilles–Nizioł.