- **Added:**
  Thhe :tacn:`zify` tactic can now be extended by redefining the `zify_pre_hook`
  tactic. (`#12552 <https://github.com/coq/coq/pull/12552>`_,
  by Kazuhiko Sakaguchi).