Rips's tame-generation conjecture in positive characteristic

Let $K$ be an infinite base field with characteristic $p\neq 2$, and let $n>3$. Consider the polynomial ring $K[x_1,\ldots,x_n]$ and the automorphism

$$\psi: x_1\mapsto x_1+x_2x_3,\qquad x_2\mapsto x_2,\qquad\ldots,\qquad x_n\mapsto x_n.$$

Rips's conjecture. Linear automorphisms, together with $\psi$, generate the entire tame automorphism group of $K[x_1,\ldots,x_n]$. The characteristic-zero analogue is known, while the positive-characteristic case has a subtle gap in the existing proof and remains open.