Wilson's conjecture on the Solovay ordinal of a derived model

Let $V$ satisfy PFA, let $\kappa$ be a limit of Woodin cardinals, and let $D(V,\kappa)$ denote the derived model at $\kappa$. Let $\Theta^{D(V,\kappa)}$ be its Solovay ordinal. Wilson's conjecture. If $V$ satisfies PFA and $\kappa$ is a limit of Woodin cardinals, then

$$\Theta^{D(V,\kappa)} < \kappa^+.$$

The conjecture asks for a bound on the full Solovay ordinal of the derived model, extending the paper's proved bounds at earlier levels of the Solovay hierarchy. The supplied source presents it as unresolved.