While I was creating the publication entry for the recent submitted preprint joint with A. W. Apter and T. Usuba, I decided it is worth writing a separate blogpost explaining how our results extend an ongoing problem in set theory, the violation of GCH at large cardinals from optimal assumptions.