I suppose it'd be possible to construct an adversarial example that would cause the current code to fail, but this should be uncontroversial. I've had occassional problems that it seems to fix. Ref: https://lists.gnu.org/archive/html/info-gnus-english/2025-03/msg00020.html