Just need to update current PR https://github.com/urbit/urbit/pull/7249.
Just need to update current PR urbit/urbit#7249.