Edges of the uniform random forest of $K_n$ are pairwise negatively correlated for every $n$

Let $F_n$ be uniform on all forests of the simple complete graph $K_n$, with isolated vertices allowed. A conjecture of Kahn and of Winkler, studied by Grimmett and Winkler, asserts that any two distinct edges of any finite graph are negatively correlated under the uniform forest measure. Stark prov