I don't think anything has changed in `gwbtc/vere`'s version of this code from the current PR to `urbit/vere` https://github.com/urbit/vere/pull/893.
I don't think anything has changed in
gwbtc/vere's version of this code from the current PR tourbit/vereurbit/vere#893.