New release for Rocq 9.1?

Would it be possible to get a new release of `coq-bits` into opam for the latest Rocq version? The current `master` branch seems to be compatible. We (https://github.com/GaloisInc/saw-script) have a dependency on this package and we'd really like to upgrade.

Thanks!