Zev Rosengarten and I have written up a self-contained proof of this fact. It is available on my website here. The proof is entirely algebraic, works over any separably closed field of $\text{char} \neq 2$, and does not use any Hodge theory.
David Benjamin Lim
- 2.6k
- 21
- 35