John has his own PR submitted. If PlutusX is doing an update, that will be separate from what John will release.