Woodin's [HOD Dichotomy Theorem][1] says that if an extendible cardinal exists, then either $V$ and $HOD$ are rather close or rather far apart.  My question is whether the "far" case can be strengthened in analogy to Jensen's Covering Lemma to say something more about large singulars.  Suppose $\delta$ is extendible and every regular $\kappa \geq \delta$ is measurable in $HOD$.  Does there exist a singular $\lambda > \delta$ which is singular in $HOD$?


  [1]: https://arxiv.org/pdf/1605.00613.pdf