The quasi-finite fundamental group scheme conjecture for affine space

Let $R$ be the base ring, let $K$ be its fraction field, and let $\mathbb{A}^n_R$ be $n$-dimensional affine space with origin $0$. Write $pi^{\text{qf}}(\mathbb{A}^n_R,0)$ for the quasi-finite fundamental group scheme of $\mathbb{A}^n_R$ at the origin, and let $pi(\mathbb{A}^n_K,0)$ denote the fundamental group scheme of the generic fibre at the origin. Quasi-finite fundamental group scheme conjecture. The faithfully flat morphism

$$\pi(\mathbb{A}^n_K, 0)\to \pi^{\text{qf}}(\mathbb{A}^n_R, 0)\times_R K$$

is an isomorphism. The conjecture proposes that the quasi-finite fundamental group scheme over the affine space extends without acquiring additional structure after passage to the generic fibre; the source states that it is not proved, while noting that in characteristic $0$ the statement is empty.