Finiteness conjecture for fundamental groups of numerical Campedelli surfaces

Let $S$ be a numerical Campedelli surface, meaning a minimal surface of general type with $p_g(S)=q(S)=0$ and $K_S^2=2$, and let $\pi_1(S)$ denote its topological fundamental group. Finiteness conjecture for numerical Campedelli surfaces. The fundamental group $\pi_1(S)$ is finite. The algebraic fundamental group is known to have order at most $9$, but whether the topological fundamental group is finite remains open in the source.