Superpotential conjecture for fundamental group algebras of acyclic circle bundles

Let $X$ be a compact, acyclic, orientable circle bundle of dimension $n$, and let $k[pi_1(X)]$ denote its fundamental group algebra over a field $k$. A superpotential algebra is an algebra presented as the Jacobi algebra of a quiver with potential. Superpotential conjecture. The algebra $k[pi_1(X)]$ is a superpotential algebra. The surrounding discussion derives superpotential descriptions in particular mapping-torus cases, but does not establish this statement in the stated generality.