Huang's relative Artin complex conjecture

Let $A_\Gamma$ be an Artin group with defining graph $\Gamma$, and let $\Delta_{S,S'}$ denote the relative Artin complex spanned by vertices of types indexed by $S'$. Suppose $\Gamma$ is a complete graph with vertex set $S$, and $T\subset S$ is such that $A_T$ is almost spherical. If $\Gamma$ and the subgraph spanned by $T$ are both connected and free of infinity, Huang's conjecture.

$$\Delta_{S,S'}\simeq *.$$

Here $A_T$ being almost spherical means that its defining graph is free of infinity, $A_T$ is not finite type, and every proper standard subgroup $A_U$ with $U\subsetneq T$ is finite type. The conjecture is stated as equivalent to the $K(\pi,1)$ conjecture in the cited work. Elias and Williamson initially claimed that it had been proved, but retracted that claim, so it remains open.