The K-semistable degeneration conjecture for Fano threefolds of Family 2.16

Let $X$ be a K-semistable $\mathbb{Q}$-Gorenstein degeneration of a smooth Fano threefold of Family \textnumero 2.16. Degeneration conjecture. $X$ is isomorphic to the blow-up of a $(2,2)$-complete intersection in $\mathbb{P}^5$ along a conic curve. The claim is identified in the source as the most technical step of the proposed description of the K-moduli space; the excerpt does not state whether it has been proved or remains open.