Coleman's conjecture on the ramification of torsion points of curves

Let $C$ be a curve of genus $g \geq 2$ embedded in its Jacobian $J$, all defined over a number field $K$. Let $J_{\mathrm{tors}}$ be the torsion subgroup of $J$ and let $C_{\mathrm{tors}}:= C(\bar{K}) \cap J_{\mathrm{tors}}$. Let $\mathfrak{p}$ be a prime ideal of $\mathcal{O}_K$ above a rational prime $p$ such that $p \geq 5$, $K/\mathbb{Q}$ is unramified at $\mathfrak{p}$, and $C$ has good reduction at $\mathfrak{p}$. Coleman's conjecture. Then the extension $K(C_{\mathrm{tors}})/K$ is unramified above $\mathfrak{p}$. The conjecture concerns quantitative refinements of Raynaud's theorem for curves. Its resolution is not established by the supplied text, so its status remains open here.