Nothing too remarkable, code-wise, but a big change upstream is the
addition of `zarith` as a hard dependency.

TODO:

- update addons